Sciweavers

1455 search results - page 151 / 291
» Programming in Logic with Constraints for Natural Language P...
Sort
View
UML
2005
Springer
14 years 2 months ago
UML Model Mappings for Platform Independent User Interface Design
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
Tim Schattkowsky, Marc Lohmann
ICLP
2009
Springer
14 years 10 months ago
One More Decidable Class of Finitely Ground Programs
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
Yuliya Lierler, Vladimir Lifschitz
PPDP
2004
Springer
14 years 2 months ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
EMNLP
2011
12 years 9 months ago
Multi-Source Transfer of Delexicalized Dependency Parsers
We present a simple method for transferring dependency parsers from source languages with labeled training data to target languages without labeled training data. We first demons...
Ryan T. McDonald, Slav Petrov, Keith Hall
ICFP
2010
ACM
13 years 10 months ago
Instance chains: type class programming without overlapping instances
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
J. Garrett Morris, Mark P. Jones