2703 search results - page 408 / 541 » Working Class Hero |
IJCV
2000
13 years 10 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
JCSS
2000
13 years 10 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
SIAMJO
2000
13 years 10 months ago
2000
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
CSUR
1998
13 years 9 months ago
1998
Search operations in databases require some special support at the physical level. This is true for conventional databases as well as for spatial databases, where typical search o...
DEDS
1998
13 years 9 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...