3918 search results - page 368 / 784 » Probabilistic model of triangulation |
185
click to vote
SP
2006
IEEE
16 years 25 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
167
Voted
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
This paper analyzes the performance of a genetic algorithm that utilizes tournament selection, one-point crossover, and a reordering operator. A model is proposed to describe the c...
202
click to vote
AAAI
2008
15 years 9 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
169
click to vote
IJCAI
2007
15 years 8 months ago
2007
Machine learning for predicting user clicks in Webbased search offers automated explanation of user activity. We address click prediction in the Web search scenario by introducing...
182
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...