3954 search results - page 94 / 791 » Image-based Model Completion |
169
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
ICNS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
135
click to vote
WIOPT
2006
IEEE
15 years 11 months ago
2006
IEEE
— We introduce and discuss a novel link model that incorporates both uncertainty in the fading coefficients and the node distances for ad hoc networks with randomly placed nodes...
169
click to vote
ILP
2001
Springer
15 years 9 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
134
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...