1643 search results - page 163 / 329 » Consistability: Describing Usually Consistent Systems |
TOG
2002
14 years 9 months ago
2002
We describe a process for compositing a live performance of an actor into a virtual set wherein the actor is consistently illuminated by the virtual environment. The Light Stage u...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper we consider visual feedback attitude synchronization in leader-follower type visibility structures in SE(3). We first define visual robotic networks consisting of the...
TIM
2011
14 years 5 months ago
2011
—In this paper, an inertial transducer developed in bulk and etch silicon-on-insulator microelectromechanical-system technology is presented. The device is suitable for low-frequ...
93
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, we describe a physical activity classification system using a body sensor network (BSN) consisting of costsensitive tri-axial accelerometers. We focus on workspace...
93
Voted
EUROCAST
2007
Springer
15 years 2 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...