1684 search results - page 119 / 337 » The lexicographic decision function |
131
click to vote
CADE
1990
Springer
15 years 7 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
146
Voted
MVA
1996
15 years 5 months ago
1996
Segmentation of range images using superquadric entities has been pointed out by a number of researchers as a powerful approach towards object recognition. Problems exist in findi...
107
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We show that for many classes of symmetric two-player games, the simple decision rule "imitate-the-best" can hardly be beaten by any other decision rule. We provide nece...
128
Voted
NIPS
2001
15 years 5 months ago
2001
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
151
Voted
CCR
2005
15 years 3 months ago
2005
Today's data networks are surprisingly fragile and difficult to manage. We argue that the root of these problems lies in the complexity of the control and management planes--...