Sciweavers

6343 search results - page 917 / 1269
» Robust consensus computation
Sort
View
CVPR
2006
IEEE
16 years 24 days ago
Depth from Familiar Objects: A Hierarchical Model for 3D Scenes
We develop an integrated, probabilistic model for the appearance and three-dimensional geometry of cluttered scenes. Object categories are modeled via distributions over the 3D lo...
Erik B. Sudderth, Antonio B. Torralba, William T. ...
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 24 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
DSN
2006
IEEE
16 years 24 days ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
HAPTICS
2006
IEEE
16 years 24 days ago
Determining the Feasibility of Forearm Mounted Vibrotactile Displays
At first glance, multi-element forearm mounted vibrotactile displays would appear to have considerable potential as an output device for mobile computing. The devices are small, r...
Ian Oakley, Yeongmi Kim, Junhun Lee, Jeha Ryu
ICDCS
2006
IEEE
16 years 24 days ago
Adaptive Control of Extreme-scale Stream Processing Systems
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...
Lisa Amini, Navendu Jain, Anshul Sehgal, Jeremy Si...