7167 search results - page 343 / 1434 » Answer Set Programming |
121
click to vote
COMPCON
1995
IEEE
15 years 6 months ago
1995
IEEE
Interactive television is a technology for delivering television programming on demand to households and businesses. Rather than passively choosing from a predetermined set of pro...
119
click to vote
ESEC
1995
Springer
15 years 6 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
137
click to vote
PODC
1995
ACM
15 years 6 months ago
1995
ACM
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
105
click to vote
HIS
2007
15 years 4 months ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
121
click to vote
JMLR
2006
15 years 3 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...