Sciweavers

1455 search results - page 145 / 291
» Programming in Logic with Constraints for Natural Language P...
Sort
View
UML
2004
Springer
14 years 2 months ago
Determining the Structural Events That May Violate an Integrity Constraint
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
Jordi Cabot, Ernest Teniente
PLDI
2003
ACM
14 years 2 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
ACL
2006
13 years 10 months ago
Highly Constrained Unification Grammars
Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unificati...
Daniel Feinstein, Shuly Wintner
ACL
2007
13 years 10 months ago
Guiding Semi-Supervision with Constraint-Driven Learning
Over the last few years, two of the main research directions in machine learning of natural language processing have been the study of semi-supervised learning algorithms as a way...
Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth
OOPSLA
2007
Springer
14 years 3 months ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu