5634 search results - page 514 / 1127 » About Abstract Classes |
207
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
141
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— To perform successful manipulation, robots depend on information about objects in their environment. In unstructured environments, such information cannot be given to t...
182
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...
162
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Given the size of today’s data, out-of-core visualization techniques are increasingly important in many domains of scientific research. In earlier work a technique cal...
156
click to vote
ISVC
2009
Springer
2009
Springer
Factorization of Correspondence and Camera Error for Unconstrained Dense Correspondence Applications
16 years 1 months ago
Abstract. A correspondence and camera error analysis for dense correspondence applications such as structure from motion is introduced. This provides error introspection, opening u...