8766 search results - page 1252 / 1754 » Functional logic programming |
137
click to vote
TCIAIG
2010
14 years 11 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
194
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
150
click to vote
ICDT
2012
ACM
13 years 7 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
151
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a reinforcement learning architecture, Dyna-2, that encompasses both samplebased learning and sample-based search, and that generalises across states during both learni...
151
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...