7527 search results - page 1306 / 1506 » Design and implementation of the KioskNet system |
172
click to vote
IJCAI
2003
15 years 8 months ago
2003
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...
191
click to vote
TELECARE
2004
15 years 8 months ago
2004
Distributed information management plays a fundamental role within the base infrastructure supporting the elderly care domain. Specificities of this domain include the autonomy and...
172
click to vote
VISSYM
2004
15 years 8 months ago
2004
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...
198
click to vote
SNPD
2003
15 years 8 months ago
2003
This paper focuses on non-strict processing, optimization, and partial evaluation of MPI programs which use incremental data structures (ISs). We describe the design and implement...
170
click to vote
WOA
2003
15 years 8 months ago
2003
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...