3653 search results - page 317 / 731 » Learning of Partial Languages |
159
Voted
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
156
Voted
AAAI
2000
15 years 7 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
171
Voted
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
145
click to vote
ICALT
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper we describe the e-LD approach for the design and repurposing of Units of Learning (UoLs). This approach is centered in domain-specific Educational Modeling Languages...