1997 search results - page 187 / 400 » The importance of being biased |
180
click to vote
CADE
2007
Springer
16 years 22 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
223
click to vote
EEMMAS
2007
Springer
16 years 21 days ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
181
click to vote
EMMCVPR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
192
click to vote
TARK
2007
Springer
16 years 19 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
165
click to vote
SP
2006
IEEE
16 years 16 days ago
2006
IEEE
Timing-based active watermarking schemes are developed to trace back attackers through stepping stone connections or anonymizing networks. By slightly changing packet timing, thes...