3185 search results - page 229 / 637 » Domain and language evaluation results |
172
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
134
click to vote
FUIN
2007
15 years 6 months ago
2007
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algor...
179
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
212
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
167
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...