447 search results - page 61 / 90 » A Probabilistic Calculus of Actions |
117
Voted
ICAS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
92
Voted
APSEC
2002
IEEE
15 years 5 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
72
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
93
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
110
click to vote
AI
2004
Springer
15 years 14 days ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...