656 search results - page 90 / 132 » Graph Theoretical Characterization and Computation of Answer... |
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
AIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
125
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Many computer vision applications rely on the efficient optimization of challenging, so-called non-submodular, binary pairwise MRFs. A promising graph cut based approach for optim...
128
click to vote
RECOMB
2004
Springer
16 years 4 days ago
2004
Springer
Nuclear magnetic resonance (NMR) spectroscopy allows scientists to study protein structure, dynamics and interactions in solution. A necessary first step for such applications is ...
159
click to vote
FOCS
2010
IEEE
14 years 9 months ago
2010
IEEE
Boosting is a general method for improving the accuracy of learning algorithms. We use boosting to construct improved privacy-preserving synopses of an input database. These are da...