Search Sciweavers | Sciweavers

26

JOLLI
2007

128views more JOLLI 2007»

Linear temporal logic as an executable semantics for planning languages

13 years 7 months ago

This paper presents an approach to artiﬁcial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...

Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...

claim paper

Read More »

17

click to vote

EMNLP
2011

155views Natural Language Processing» more EMNLP 2011»

Exact Decoding of Phrase-Based Translation Models through Lagrangian Relaxation

12 years 7 months ago

Download www.cs.columbia.edu

This paper describes an algorithm for exact decoding of phrase-based translation models, based on Lagrangian relaxation. The method recovers exact solutions, with certiﬁcates of...

Yin-Wen Chang, Michael Collins

claim paper

Read More »

22

click to vote

CORR
2004
Springer

85views Education» more CORR 2004»

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree

13 years 7 months ago

Download www.cs.unipr.it

It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...

Patricia M. Hill, Enea Zaffanella, Roberto Bagnara

claim paper

Read More »

19

click to vote

TLCA
2005
Springer

96views Theoretical Computer Science» more TLCA 2005»

L3: A Linear Language with Locations

14 years 1 months ago

Download www.cs.indiana.edu

We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at diﬀerent points in time. We present a simple, but expres...

Greg Morrisett, Amal J. Ahmed, Matthew Fluet

claim paper

Read More »

20

click to vote

WIA
1998
Springer

110views Artificial Intelligence» more WIA 1998»

On Parsing and Condensing Substrings of LR Languages in Linear Time

14 years 3 days ago