1631 search results - page 149 / 327 » Observing Functional Logic Computations |
121
click to vote
ACL
2009
15 years 1 months ago
2009
In this paper, we present a reinforcement learning approach for mapping natural language instructions to sequences of executable actions. We assume access to a reward function tha...
137
click to vote
C5
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper, referring to a work in progress, describes functional elements of the user interface of a Virtual World that may provide an important contribution to the process by wh...
123
click to vote
CF
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents the Collapsed Bennett Layout, a general purpose floorplan for reversible quantum-dot cellular automata (QCA) circuits. In order to exploit the full density and...
148
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
122
click to vote
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...