3729 search results - page 324 / 746 » On Formal Modeling of Agent Computations |
236
click to vote
TOCL
2012
13 years 9 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
162
click to vote
IVA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper presents a computational model of visual attention incorporating a cognitive imperfection known as inattentional blindness. We begin by presenting four factors...
134
click to vote
IVA
2005
Springer
16 years 6 days ago
2005
Springer
Causality is a central issue in many AI applications. Social causality, in contrast to physical causality, seeks to attribute cause and responsibility to social events, and account...
146
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
204
click to vote
MRCO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...