13917 search results - page 221 / 2784 » Abstraction of Probabilistic Systems |
184
click to vote
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
189
click to vote
COCO
2009
Springer
16 years 1 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
235
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
A probabilistic system for recognition of individual objects is presented. The objects to recognize are composed of constellations of features, and features from a same object shar...
200
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
185
click to vote
CMPB
2010
15 years 5 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...