2291 search results - page 246 / 459 » Representational Reasoning and Verification |
92
Voted
AAAI
1997
15 years 2 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...
103
click to vote
CGF
2008
15 years 24 days 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...
103
Voted
ICRA
2010
IEEE
14 years 10 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...
97
Voted
ER
2007
Springer
15 years 6 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...
108
Voted
BMCBI
2007
15 years 24 days 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...