3446 search results - page 292 / 690 » A Reasoning Algorithm for pD* |
173
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
152
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
We present an algorithm for learning context free grammars from positive structural examples (unlabeled parse trees). The algorithm receives a parameter in the form of a finite se...
181
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
Much of the existing work in peer to peer networking assumes that users will follow prescribed protocols without deviation. This assumption ignores the user’s ability to modify ...
192
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
165
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...