3653 search results - page 317 / 731 » Learning of Partial Languages |
173
click to vote
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...
168
click to vote
AAAI
2000
15 years 8 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...
190
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...
191
click to vote
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...
154
click to vote
ICALT
2008
IEEE
16 years 1 months 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...