2638 search results - page 416 / 528 » Frameworks for Reasoning about Agent Based Systems |
180
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
162
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
169
click to vote
ICOST
2010
Springer
15 years 10 months ago
2010
Springer
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...
191
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
202
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...