2055 search results - page 124 / 411 » Generic Model Refactorings |
127
click to vote
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
121
Voted
IWBRS
2005
Springer
15 years 7 months ago
2005
Springer
Interest in automated biometrics continues to increase, but has little consideration of time. This paper deals with a problem of recognition by gait when time-dependent and time-in...
94
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
106
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
This talk will review the progress and the evolution of the development of range sensing techniques at the NRC laboratories. Essentially a 3 0 imaging project at the beginning, it...
134
click to vote
UTP
2010
15 years 6 days ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...