Search Sciweavers | Sciweavers

2593 search results - page 24 / 519

» constraints 2007

114

click to vote

ACL
2001

104views Computational Linguistics» more ACL 2001»

Empirically Estimating Order Constraints for Content Planning in Generation

15 years 7 months ago

Download acl.ldc.upenn.edu

In a language generation system, a content planner embodies one or more "plans" that are usually hand

Pablo Ariel Duboué, Kathleen McKeown

claim paper

Read More »

129

click to vote

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

16 years 7 days ago

Download www.dis.uniroma1.it

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...

claim paper

Read More »

128

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

16 years 7 days ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

148

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

16 years 6 days ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

127

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers