Sciweavers

1380 search results - page 52 / 276
» Reasoning about Input-Output Modeling of Dynamical Systems
Sort
View
AIMDM
1999
Springer
14 years 6 hour ago
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
Jorge Cruz, Pedro Barahona, Frédéric...
KI
2010
Springer
13 years 6 months ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...
IPPS
2002
IEEE
14 years 19 days ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
MLMTA
2003
13 years 9 months ago
Using a Two-Layered Case-Based Reasoning for Prediction in Soccer Coach
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
Mazda Ahmadi, Abolfazl Keighobadi Lamjiri, Mayssam...
ECSQARU
2009
Springer
14 years 2 months ago
The Probabilistic Interpretation of Model-Based Diagnosis
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
Ildikó Flesch, Peter J. F. Lucas