168 search results - page 15 / 34 » Towards Reasoning about the Past in Neural-symbolic Systems |
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
ABIALS
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
VL
2003
IEEE
14 years 1 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 ...