Sciweavers

1299 search results - page 134 / 260
» Computing Minimal Diagnoses with Critical Set Algorithms
Sort
View
DNA
2005
Springer
134views Bioinformatics» more  DNA 2005»
15 years 3 months ago
Complexity of Compact Proofreading for Self-assembled Patterns
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
David Soloveichik, Erik Winfree
RTCSA
2000
IEEE
15 years 2 months ago
Extracting safe and precise control flow from binaries
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
Henrik Theiling
EPEW
2010
Springer
14 years 10 months ago
Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
Ricardo J. Rodríguez, Jorge Júlvez
CVPR
2012
IEEE
13 years 10 days ago
Seeing double without confusion: Structure-from-motion in highly ambiguous scenes
3D reconstruction from an unordered set of images may fail due to incorrect epipolar geometries (EG) between image pairs arising from ambiguous feature correspondences. Previous m...
Nianjuan Jiang, Ping Tan, Loong Fah Cheong
INFOCOM
2002
IEEE
15 years 2 months ago
Efficient Dissemination of Personalized Information Using Content-Based Multicast
There has been a surge of interest in the delivery of personalized information to users (e.g. personalized stocks or travel information), particularly as mobile users with limited ...
Rahul Shah, Ravi Jain, Farooq Anjum