Sciweavers

755 search results - page 78 / 151
» Sequential Diagnosis by Abstraction
Sort
View
AMAI
2007
Springer
13 years 8 months ago
A new modal logic for reasoning about space: spatial propositional neighborhood logic
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
Antonio Morales, Isabel Navarrete, Guido Sciavicco
RTS
2006
96views more  RTS 2006»
13 years 7 months ago
The TTA's Approach to Resilience after Transient Upsets
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
Wilfried Steiner, Michael Paulitsch, Hermann Kopet...
JAR
2007
97views more  JAR 2007»
13 years 7 months ago
Debugging Incoherent Terminologies
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
Stefan Schlobach, Zhisheng Huang, Ronald Cornet, F...
JBI
2007
148views Bioinformatics» more  JBI 2007»
13 years 7 months ago
A method for linking computed image features to histological semantics in neuropathology
In medical image analysis, the image content is often represented by computed features that need to be interpreted at a clinical level of understanding to support lopment of clini...
Birgit Lessmann, Tim W. Nattkemper, V. H. Hans, An...
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
13 years 6 months ago
Detecting anomalies in unmanned vehicles using the Mahalanobis distance
The use of unmanned autonomous vehicles is becoming more and more significant in recent years. The fact that the vehicles are unmanned (whether autonomous or not), can lead to gre...
Raz Lin, Eliahu Khalastchi, Gal A. Kaminka