2041 search results - page 120 / 409 » Modelling Generic Judgements |
154
Voted
IWBRS
2005
Springer
15 years 10 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...
124
click to vote
ISOLA
2004
Springer
15 years 10 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...
129
click to vote
ICRA
2000
IEEE
15 years 9 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...
162
click to vote
UTP
2010
15 years 3 months 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 ...
140
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...