Sciweavers

14779 search results - page 421 / 2956
» On Ultrametric Algorithmic Information
Sort
View
FLAIRS
1998
15 years 8 months ago
DFA Learning of Opponent Strategies
This work studies the control of robots in the adversarial world of "Hunt the Wumpus". The hybrid learning algorithm which controls the robots behavior is a combination ...
Gilbert L. Peterson, Diane J. Cook
176
Voted
ICIP
2003
IEEE
16 years 8 months ago
A refined ICP algorithm for robust 3-D correspondence estimation
Robust registration of two 3-D point sets is a common problem in computer vision. The Iterative Closest Point (ICP) algorithm is undoubtedly the most popular algorithm for solving...
Heinrich Niemann, Jochen Schmidt, Timo Zinße...
233
Voted
PLDI
2006
ACM
16 years 25 days ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
179
Voted
INFOCOM
2007
IEEE
16 years 1 months ago
Randomized k-Coverage Algorithms For Dense Sensor Networks
— We propose new algorithms to achieve k-coverage in dense sensor networks. In such networks, covering sensor locations approximates covering the whole area. However, it has been...
Mohamed Hefeeda, M. Bagheri
ILP
2004
Springer
16 years 7 days ago
Generalization Algorithms for Second-Order Terms
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...
Kouichi Hirata, Takeshi Ogawa, Masateru Harao