Sciweavers

5600 search results - page 453 / 1120
» Synthesizing robust systems
Sort
View
185
Voted
PLDI
2009
ACM
16 years 1 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
178
Voted
ICRA
2006
IEEE
139views Robotics» more  ICRA 2006»
16 years 27 days ago
Tracking Unobservable Rotations by Cue Integration
— Model based object tracking has earned significant importance in areas such as augmented reality, surveillance, visual servoing, robotic object manipulation and grasping. Alth...
Ville Kyrki, Danica Kragic
226
Voted
ICCV
2007
IEEE
16 years 8 months ago
Real-Time Marker-free Motion Capture from multiple cameras
We present a fully-automated method for real-time and marker-free 3D human motion capture. The system computes the 3D shape of the person filmed from a synchronized camera set. We...
Brice Michoud, Erwan Guillou, Héctor M. Bri...
210
Voted
ICIP
2005
IEEE
16 years 8 months ago
Optimizing of searching co-motion point-pairs for statistical camera calibration
In the paper we introduce an algorithm for matching partially overlapping image-pairs where the object of interest is in motion, even if the motion is discontinuous and in an unstr...
Csaba Benedek, Laszlo Havasi, Tamás Szir&aa...
214
Voted
ICIP
2003
IEEE
16 years 8 months ago
Jumping snakes and parametric model for lip segmentation
Lip segmentation is an essential stage in many multimedia systems such as videoconferencing, lip reading, or low bit rate coding communication systems. In this paper, we propose a...
Nicolas Eveno, Alice Caplier, Pierre-Yves Coulon