Sciweavers

1776 search results - page 98 / 356
» Using a Logic Programming Language with Persistence and Cont...
Sort
View
EMNLP
2010
14 years 7 months ago
Top-Down Nearly-Context-Sensitive Parsing
We present a new syntactic parser that works left-to-right and top down, thus maintaining a fully-connected parse tree for a few alternative parse hypotheses. All of the commonly ...
Eugene Charniak
POPL
2010
ACM
14 years 10 months ago
Nested interpolants
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
Matthias Heizmann, Jochen Hoenicke, Andreas Podels...
IFIP
2007
Springer
15 years 4 months ago
Towards a Context Binding Transparency
Context-aware applications use context information, like location or identification of nearby objects of interest, to adapt their behavior to the current situation of the user. The...
Tom Broens, Dick A. C. Quartel, Marten van Sindere...
ATAL
1995
Springer
15 years 1 months ago
Foundations of a Logical Approach to Agent Programming
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
Yves Lespérance, Hector J. Levesque, Fangzh...
ANLP
1992
126views more  ANLP 1992»
14 years 11 months ago
Overview of Natural Language Processing of Captions for Retrieving Multimedia Data
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
Eugene J. Guglielmo, Neil C. Rowe