8337 search results - page 161 / 1668 » Reasoning With Characteristic Models |
136
click to vote
COSIT
2007
Springer
15 years 11 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
145
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
149
click to vote
CIA
2004
Springer
15 years 10 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
139
click to vote
CPAIOR
2010
Springer
15 years 9 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
179
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...