1134 search results - page 171 / 227 » Using Constraints with Action Language for Model Evolution |
273
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
150
click to vote
AIME
2005
Springer
15 years 8 months ago
2005
Springer
In the objective of building care team guidelines from field observations, this paper introduces a representation method for describing the medical collaborative activities during ...
169
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
148
click to vote
ECRTS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
139
click to vote
EMNLP
2009
15 years 4 months ago
2009
Mitchell et al. (2008) demonstrated that corpus-extracted models of semantic knowledge can predict neural activation patterns recorded using fMRI. This could be a very powerful te...