1124 search results - page 169 / 225 » Refined quorum systems |
210
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Authority flow is an effective ranking mechanism for answering queries on a broad class of data. Systems have been developed to apply this principle on the Web (PageRank and topic ...
DAC
2000
ACM
16 years 25 days ago
2000
ACM
The Esprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture and body-behavior from proprietary interfaces. ...
ICML
2005
IEEE
16 years 20 days ago
2005
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...
119
click to vote
CHI
2009
ACM
16 years 13 days ago
2009
ACM
Machine learning is an increasingly used computational tool within human-computer interaction research. While most researchers currently utilize an iterative approach to refining ...
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...