1102 search results - page 21 / 221 » Generalizing Updates: From Models to Programs |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
AIMSA
2000
Springer
13 years 12 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
ENTCS
2007
13 years 7 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
We consider graphical games in which edges are zero-sum games between the endpoints/players; the payoff of a player is the sum of the payoffs from each incident edge. We give a si...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...