936 search results - page 147 / 188 » Multi-Sensor Location Tracking |
114
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
SIGCOMM
1991
ACM
15 years 2 months ago
1991
ACM
We consider the problem of providing network access to hosts whose physical location changes with time. Such hosts cannot depend on traditional forms of network connectivity and r...
CARS
2003
15 years 20 days ago
2003
A new augmented reality apparatus was evaluated. The device uses scanned infrared and visible lasers to project computer generated information such as surgical plans, entry pints f...
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
Statistical approaches for building non-rigid deformable
models, such as the Active Appearance Model (AAM), have
enjoyed great popularity in recent years, but typically require
...
89
Voted
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
Actions are spatio-temporal patterns which can be characterized
by collections of spatio-temporal invariant features.
Detection of actions is to find the re-occurrences
(e.g. th...