1342 search results - page 41 / 269 » Shape reasoning and understanding |
CVPR
2003
IEEE
14 years 11 months ago
2003
IEEE
Principal component analysis has proven to be useful for understanding geometric variability in populations of parameterized objects. The statistical framework is well understood ...
USAB
2010
13 years 8 months ago
2010
As wireless technologies evolve, mobile technologies and services will increasingly affect our lives, accompanied by positive and negative effects. This development requires a high...
ENTCS
2007
13 years 9 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We investigate how people adapt their strategy for interleaving multiple concurrent tasks to varying objectives. A study was conducted in which participants drove a simulated vehi...