Sciweavers

5948 search results - page 912 / 1190
» Computing Robust Counter-Strategies
Sort
View
CIBCB
2006
IEEE
15 years 10 months ago
Aggregating Homologous Protein Families in Evolutionary Reconstructions of Herpesviruses
Abstract–Protein families can be used to reconstruct evolutionary histories of organisms. The accuracy of protein assignment to such families is critical for the success of such ...
Boris Mirkin, Renata da Silva Camargo, Trevor I. F...
CVPR
2006
IEEE
15 years 10 months ago
Scalable Recognition with a Vocabulary Tree
A recognition scheme that scales efficiently to a large number of objects is presented. The efficiency and quality is exhibited in a live demonstration that recognizes CD-covers...
David Nistér, Henrik Stewénius
CVPR
2006
IEEE
15 years 10 months 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»
15 years 10 months 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
15 years 10 months 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