Sciweavers

141 search results - page 19 / 29
» Robustness of Causal Claims
Sort
View
ATAL
2009
Springer
14 years 2 months ago
Decommitting in multi-agent execution in non-deterministic environment: experimental approach
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
Jirí Vokrínek, Antonín Komend...
ICRA
2002
IEEE
147views Robotics» more  ICRA 2002»
14 years 10 days ago
Exploiting Physical Dynamics for Concurrent Control of a Mobile Robot
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
Brian P. Gerkey, Maja J. Mataric, Gaurav S. Sukhat...
HPDC
1998
IEEE
13 years 11 months ago
Matchmaking: Distributed Resource Management for High Throughput Computing
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
Rajesh Raman, Miron Livny, Marvin H. Solomon
COMPGEOM
1997
ACM
13 years 11 months ago
Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
Hervé Brönnimann, Ioannis Z. Emiris, V...
FMICS
2010
Springer
13 years 8 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...