Search Sciweavers | Sciweavers

1455 search results - page 16 / 291

» Programming in Logic with Constraints for Natural Language P...

click to vote

FSTTCS
2007
Springer

96views Software Engineering» more FSTTCS 2007»

Closures and Modules Within Linear Logic Concurrent Constraint Programming

14 years 1 months ago

Download www.clip.dia.fi.upm.es

There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...

Rémy Haemmerlé, François Fage...

claim paper

Read More »

click to vote

ACE
2003

80views Education» more ACE 2003»

Natural Language Processing in the Undergraduate Curriculum

13 years 9 months ago

Download crpit.com

The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...

Robert Dale, Diego Mollá Aliod, Rolf Schwit...

claim paper

Read More »

click to vote

SAC
2010
ACM

115views Applied Computing» more SAC 2010»

Variable ranges in linear constraints

14 years 2 months ago

Download www.di.unipi.it

We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...

Salvatore Ruggieri, Fred Mesnard

claim paper

Read More »

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

14 years 1 months ago

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »