Sciweavers

4485 search results - page 320 / 897
» Equivalences on Observable Processes
Sort
View
DAGM
2005
Springer
16 years 8 days ago
Vision-Based 3D Object Localization Using Probabilistic Models of Appearance
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
Christian Plagemann, Thomas Müller, Wolfram B...
ACMSE
2004
ACM
16 years 5 days ago
A P2P intrusion detection system based on mobile agents
Traditional intrusion detection systems have a central coordinator with a static hierarchical architecture. We propose a peer-to-peer intrusion detection system that has no centra...
Geetha Ramachandran, Delbert Hart
CSFW
2003
IEEE
16 years 1 days ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
ICRA
2002
IEEE
161views Robotics» more  ICRA 2002»
15 years 11 months ago
Mosaicing Large Cyclic Environments for Visual Navigation in Autonomous Vehicles
Mobile robot localization from large-scale appearance mosaics has been showing increasing promise as a low-cost, high-performance and infrastructure-free solution to vehicle guida...
Ranjith Unnikrishnan, Alonzo Kelly
ECSQARU
2001
Springer
15 years 11 months ago
Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs
Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
Nevin Lianwen Zhang, Weihong Zhang