613 search results - page 60 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We propose a novel method for tracking an articulated model in a 3D-point cloud. The tracking problem is formulated as the registration of two point sets, one of them parameterise...
CONTEXT
2003
Springer
14 years 27 days ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Kernel associative memory (KAM) has previously been proposed as an efficient scheme for face recognition. In this paper, a hybrid method of combining KAM and Gabor wavelet transfo...
CG
2005
Springer
13 years 7 months ago
2005
Springer
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...