4940 search results - page 92 / 988 » On the Complexity of Universal Programs |
128
click to vote
SIAMCOMP
2010
14 years 11 months ago
2010
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
167
click to vote
AGI
2011
14 years 8 months ago
2011
We present an actor-critic scheme for reinforcement learning in complex domains. The main contribution is to show that planning and I/O dynamics can be separated such that an intra...
130
click to vote
DBPL
1993
Springer
15 years 8 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
134
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
elow are abstracts of student-faculty collaborative work presented at regional, national, and international conferences. Gregory Adkins, Elizabeth Carter, Amanda Micai, and Sarah M...
141
Voted
IEEECIT
2006
IEEE
15 years 10 months ago
2006
IEEE
Although traditional software metrics have widely been applied to practical software projects, they have insufficient abilities to measure a large-scale system’s complexity at h...