11436 search results - page 223 / 2288 » Modeling Real Reasoning |
130
click to vote
QEST
2006
IEEE
15 years 9 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...
121
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
Several innovative software applications such as those required by ambient intelligence, the semantic grid, e-commerce and e-marketing, can be viewed as open societies of heteroge...
131
click to vote
CIA
2004
Springer
15 years 8 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...
123
click to vote
CPAIOR
2010
Springer
15 years 8 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, ...
163
click to vote
SEMWEB
2009
Springer
15 years 8 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...