Sciweavers

949 search results - page 6 / 190

» Theory of Constraints

14

COLING
2000

71views Computational Linguistics» more COLING 2000»

Directional Constraint Evaluation in Optimality Theory

13 years 9 months ago

Directional Constraint Evaluation in Optimality Theory

Download acl.ldc.upenn.edu

Jason Eisner

claim paper

Read More »

26

COLING
1998

110views Computational Linguistics» more COLING 1998»

Optimality Theory and the Generative Complexity of Constraint Violability

13 years 8 months ago

Optimality Theory and the Generative Complexity of Constraint Violability

Download www.aclweb.org

Robert Frank, Giorgio Satta

claim paper

Read More »

18

SCHOLARPEDIA
2010

56views more SCHOLARPEDIA 2010»

Theory of Constraints

13 years 6 months ago

Theory of Constraints

Download www.insyte-consulting.com

John Blackstone

claim paper

Read More »

25

COMJ
2010

262views Applied Computing» more COMJ 2010»

Constraint Application with Higher-Order Programming for Modeling Music Theories

13 years 5 months ago

Constraint Application with Higher-Order Programming for Modeling Music Theories

Download cmr.soc.plymouth.ac.uk

Torsten Anders, Eduardo Reck Miranda

claim paper

Read More »

22

CADE
2004
Springer

147views Logical Reasoning» more CADE 2004»

Decision Procedures for Recursive Data Structures with Integer Constraints

14 years 8 months ago

Decision Procedures for Recursive Data Structures with Integer Constraints

Download theory.stanford.edu

This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...

Ting Zhang, Henny B. Sipma, Zohar Manna

claim paper

Read More »

« Prev « First page 6 / 190 Last » Next »