11397 search results - page 155 / 2280 » A Relational Abstraction for Functions |
157
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce relational temporal difference learning as an effective approach to solving multi-agent Markov decision problems with large state spaces. Our algorithm uses temporal ...
298
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Recently, a number of main memory algorithms for detecting the changes to XML data have been proposed. These approaches are not suitable for detecting changes to large XML documen...
155
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
210
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Social decision support systems are able to aggregate the local perspectives of a diverse group of individuals into a global social decision. This paper presents a mult...
178
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...