423 search results - page 45 / 85 » Specifying Strategies for Exercises |
WADT
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
IAT
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem as the problem of dist...
VLDB
1995
ACM
15 years 1 months ago
1995
ACM
We describe a scheme to fragment and distribute centralized databases. ’ The problem is motivated by trends towards down-sizing and reorganization, reflecting actual, often dist...
AAAI
2010
14 years 11 months ago
2010
As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously ...
CATA
2003
14 years 11 months ago
2003
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...