774 search results - page 96 / 155 » Experiments with an Agent-Oriented Reasoning System |
IEE
2010
13 years 6 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
TMI
2011
13 years 2 months ago
2011
—In this paper, we propose a novel predictive model, active volume model (AVM), for object boundary extraction. It is a dynamic “object” model whose manifestation includes a ...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
HIPEAC
2011
Springer
12 years 7 months ago
2011
Springer
For each computer system generation, there are always applications or workloads for which the main memory size is the major limitation. On the other hand, in many cases, one could...
AGENTS
1997
Springer
14 years 2 days ago
1997
Springer
This paper introduces a 3D simulation environment for experiments with behavior-based autonomous agents. The virtual laboratory INSIGHT allows the user to design and run a great v...