17366 search results - page 14 / 3474 » New Revision Algorithms |
ILP
2003
Springer
15 years 2 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
110
click to vote
KI
2010
Springer
14 years 4 months ago
2010
Springer
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
99
Voted
CP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
75
Voted
PPPJ
2009
ACM
15 years 4 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...