2661 search results - page 244 / 533 » Quantum Complexity Classes |
139
Voted
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
In this paper, we present a class of algorithms that use a partial distance metric to speedup the motion estimation process. The partial distance metric is used within the motion ...
147
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
112
Voted
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
: A multi-aspect approach is applied to one-step anticipation for tightening human-robot interaction in naturally complex scene. Via symbolic massage exchange, human’s linguistic...
152
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we study language recognition by two-dimensional cellular automata on different possible neighborhoods. Since it is known that all complete neighborhoods are linearl...
126
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...