4211 search results - page 453 / 843 » Types as Abstract Interpretations |
173
click to vote
IAT
2005
IEEE
16 years 9 days ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
164
click to vote
ICCV
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract. This paper describes the development of a real-time perceptive user interface. Two cameras are used to detect a user’s head, eyes, hand, fingers and gestures. These cu...
203
Voted
ICPPW
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
207
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Autonomous mobile agents require object recognition for high level interpretation and localization in complex scenes. In urban environments, recognition of buildings mi...
166
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...