1631 search results - page 149 / 327 » Observing Functional Logic Computations |
156
click to vote
ACL
2009
15 years 4 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...
177
click to vote
C5
2008
IEEE
16 years 26 days 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...
156
click to vote
CF
2007
ACM
15 years 10 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...
175
click to vote
ICTCS
2005
Springer
15 years 12 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...
159
click to vote
ISMIS
2005
Springer
15 years 12 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...