3670 search results - page 287 / 734 » Linear Recursive Functions |
173
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...
231
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
175
click to vote
XIMEP
2006
ACM
16 years 17 days ago
2006
ACM
We present a high-performance, pull-based streaming processor for XQuery, called XQPull, that can handle many essential features of the language, including general predicates, rec...
183
click to vote
CIE
2005
Springer
16 years 4 days ago
2005
Springer
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
184
click to vote
CIS
2005
Springer
16 years 4 days ago
2005
Springer
Recently, actor-critic methods have drawn much interests in the area of reinforcement learning, and several algorithms have been studied along the line of the actor-critic strategy...