Sciweavers

1052 search results - page 144 / 211
» Distributed Logic Programming using Mobile Agents
Sort
View
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
15 years 1 months ago
Towards simplicial coverage repair for mobile robot teams
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
Jason C. Derenick, Vijay Kumar, Ali Jadbabaie
110
Voted
ACSC
2002
IEEE
15 years 7 months ago
AdJava - Automatic Distribution of Java Applications
The majority of the world’s computing resources remains idle most of the time. By using this resource pool, an individual computation may be completed in a fraction of time requ...
Mohammad M. Fuad, Michael J. Oudshoorn
139
Voted
ATAL
2007
Springer
15 years 8 months ago
A complete distributed constraint optimization method for non-traditional pseudotree arrangements
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
James Atlas, Keith Decker
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 2 months ago
Enhanced Prolog Remote Predicate Call Protocol
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
Alin Suciu, Kalman Pusztai, Andrei Diaconu
AAAI
1994
15 years 3 months ago
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
Steven Minton, Ian Underwood