Sciweavers

4199 search results - page 330 / 840
» Generalizing Data in Natural Language
Sort
View
JLP
1998
147views more  JLP 1998»
15 years 6 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
CLEF
2009
Springer
15 years 4 months ago
A Cocktail Approach to the VideoCLEF'09 Linking Task
In this paper, we describe the TNO approach to the Finding Related Resources or linking task of VideoCLEF09. Our system consists of a weighted combination of off-theshelf and prop...
Stephan Raaijmakers, Corné Versloot, Joost ...
FOCS
1989
IEEE
15 years 10 months ago
A Really Temporal Logic
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
Rajeev Alur, Thomas A. Henzinger
EACL
2006
ACL Anthology
15 years 8 months ago
Constraints on Non-Projective Dependency Parsing
We investigate a series of graph-theoretic constraints on non-projective dependency parsing and their effect on expressivity, i.e. whether they allow naturally occurring syntactic...
Joakim Nivre
MODELS
2010
Springer
15 years 5 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...