2468 search results - page 353 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
161
Voted
SOCA
2010
IEEE
15 years 2 months ago
2010
IEEE
In asynchronous event systems, the production of an event is decoupled from its consumption via an event queue. The loose coupling of such systems allows great flexibility as to ...
150
Voted
MVA
1990
15 years 4 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
137
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...
141
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
138
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Abstract-Unstructured text represents a large fraction of the world's data. It often contain snippets of structured information within them (e.g., people's names and zip ...