2291 search results - page 246 / 459 » Representational Reasoning and Verification |
146
click to vote
AAAI
1997
15 years 7 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
156
Voted
CGF
2008
15 years 5 months ago
2008
In this paper, we propose a novel approach for automatic generation of visualizations from domain-specific data available on the web. We describe a general system pipeline that co...
156
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
144
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
161
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...