3765 search results - page 136 / 753 » Qualitative Action Systems |
137
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
152
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
124
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We studied the role of the competence of an interface agent that helped users to learn and use a text editor. Participants in the study made a set of changes to a document with th...
158
click to vote
ESE
2006
15 years 4 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
122
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
One of the challenges in pervasive computing is communication between a mobile user's terminal and the continuously changing local environment. Bluetooth is one potential opt...