2509 search results - page 326 / 502 » Abstract Geometrical Computation and Computable Analysis |
195
click to vote
ICIAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Facial feature extraction is a fundamental problem in image processing. Correct extraction of features is essential for the success of many applications. Typical feature ...
180
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years, probabilistic analyses of algorithms have received increasing attention. Despite results on the average-case complexity and smoothed complexity of exact ...
179
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
155
click to vote
AMDO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The paper presents an approach for matching objects in dynamic pedobarography image sequences, based on finite element modeling and modal analysis. The determination of c...
165
click to vote
APN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...