8141 search results - page 86 / 1629 » Higher Order Generalization |
119
click to vote
FOCS
2006
IEEE
15 years 6 months ago
2006
IEEE
We extend the binary search technique to searching in trees. We consider two models of queries: questions about vertices and questions about edges. We present a general approach t...
85
Voted
AML
2006
15 years 25 days ago
2006
We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is ...
89
Voted
ICTAI
1996
IEEE
15 years 5 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
79
Voted
CASC
2007
Springer
15 years 4 months ago
2007
Springer
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
ICCV
1999
IEEE
16 years 2 months ago
1999
IEEE
This paper addresses the problem of estimating time to collision from local motion eld measurements in the case of unconstrained relative rigid motion and surface orientation. It ...