Sciweavers

3796 search results - page 171 / 760
» The Failure of Personalities to Generalize
Sort
View
UML
2005
Springer
15 years 12 months ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
MIDDLEWARE
2004
Springer
15 years 12 months ago
Adaptive middleware for context-aware applications in smart-homes
We propose an adaptive middleware design for context-aware applications that abstracts the applications from the sensors that provide context. Further, we use application-specifi...
Markus C. Huebscher, Julie A. McCann
RULEML
2004
Springer
15 years 12 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 11 months ago
HPRM: a hierarchical PRM
— We introduce a hierarchical variant of the probabilistic roadmap method for motion planning. By recursively refining an initially sparse sampling in neighborhoods of the C-obs...
Anne D. Collins, Pankaj K. Agarwal, John Harer
SRDS
2003
IEEE
15 years 11 months ago
Distributed Programming for Dummies: A Shifting Transformation Technique
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...