Sciweavers

21108 search results - page 242 / 4222
» A General Class of Models of
Sort
View
DAGM
2008
Springer
15 years 8 months ago
Sliding-Windows for Rapid Object Class Localization: A Parallel Technique
Abstract. This paper presents a fast object class localization framework implemented on a data parallel architecture currently available in recent computers. Our case study, the im...
Christian Wojek, Gyuri Dorkó, André ...
ERSHOV
2009
Springer
16 years 1 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
GMP
2006
IEEE
107views Solid Modeling» more  GMP 2006»
16 years 21 days ago
A New Class of Non-stationary Interpolatory Subdivision Schemes Based on Exponential Polynomials
We present a new class of non-stationary, interpolatory subdivision schemes that can exactly reconstruct parametric surfaces including exponential polynomials. The subdivision rule...
Yoo-Joo Choi, Yeon Ju Lee, Jungho Yoon, Byung-Gook...
ICIAR
2004
Springer
16 years 10 hour ago
Visual Object Recognition Through One-Class Learning
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
QingHua Wang, Luís Seabra Lopes, David M. J...
IFIP
2004
Springer
16 years 5 hour ago
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
Olivier Bournez, Felipe Cucker, Paulin Jacob&eacut...