Sciweavers

2593 search results - page 24 / 519
» constraints 2007
Sort
View
ACL
2001
15 years 5 months ago
Empirically Estimating Order Constraints for Content Planning in Generation
In a language generation system, a content planner embodies one or more "plans" that are usually hand
Pablo Ariel Duboué, Kathleen McKeown
AIIA
2007
Springer
15 years 10 months ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...
CAV
2007
Springer
93views Hardware» more  CAV 2007»
15 years 10 months ago
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
Bernd Becker, Christian Dax, Jochen Eisinger, Feli...
ICLP
2007
Springer
15 years 10 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
ICLP
2007
Springer
15 years 10 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...