Sciweavers

1389 search results - page 80 / 278
» Lightweight dependent classes
Sort
View
AMAI
2005
Springer
13 years 9 months ago
Logic programming with infinite sets
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Ma...
COLING
2002
13 years 9 months ago
Reasoning in Metaphor Understanding: The ATT-Meta Approach and System
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
John A. Barnden, Sheila Glasbey, Mark G. Lee, Alan...
ET
2010
83views more  ET 2010»
13 years 8 months ago
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
Sven Verdoolaege, Martin Palkovic, Maurice Bruynoo...
ACL
2010
13 years 7 months ago
A Cognitive Cost Model of Annotations Based on Eye-Tracking Data
We report on an experiment to track complex decision points in linguistic metadata annotation where the decision behavior of annotators is observed with an eyetracking device. As ...
Katrin Tomanek, Udo Hahn, Steffen Lohmann, Jü...
ACL
2010
13 years 7 months ago
Accurate Context-Free Parsing with Combinatory Categorial Grammar
The definition of combinatory categorial grammar (CCG) in the literature varies quite a bit from author to author. However, the differences between the definitions are important i...
Timothy A. D. Fowler, Gerald Penn