824 search results - page 82 / 165 » Learning probabilistic logic models from probabilistic examp... |
176
click to vote
SP
2006
IEEE
16 years 20 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...
189
click to vote
AROBOTS
1999
15 years 6 months ago
1999
We use reinforcement learning (RL) to compute strategies for multiagent soccer teams. RL may pro t signi cantly from world models (WMs) estimating state transition probabilities an...
324
click to vote
ACL
1998
15 years 8 months ago
1998
This paper proposes a learning method of translation rules from parallel corpora. This method applies the maximum entropy principle to a probabilistic model of translation rules. ...
177
click to vote
TREC
2004
15 years 8 months ago
2004
The quality of an information retrieval system heavily depends on its retrieval function, which returns a similarity measurement between the query and each document in the collect...
187
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...