993 search results - page 125 / 199 » Classification Reliability and Its Use in Multi-classifier S... |
128
Voted
KDD
1994
ACM
15 years 7 months ago
1994
ACM
Oneof the mainobstacles in applying data mining techniques to large, real-world databasesis the lack of efficient data management.In this paper, wepresent the design and implement...
220
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
141
Voted
EUROSYS
2009
ACM
16 years 26 days ago
2009
ACM
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
120
Voted
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...
133
Voted
STOC
1999
ACM
15 years 8 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...