346 search results - page 32 / 70 » Propagating Probabilities in System P |
CAV
1999
Springer
15 years 6 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
117
click to vote
IJCAI
1989
15 years 3 months ago
1989
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
109
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
119
click to vote
PODC
1997
ACM
15 years 6 months ago
1997
ACM
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...
122
click to vote
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
Face recognition has become an important topic within the field of pattern recognition and computer vision. In this field a number of different approaches to feature extraction, m...