2138 search results - page 228 / 428 » Logical Step-Indexed Logical Relations |
158
click to vote
IRCDL
2008
15 years 8 months ago
2008
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...
160
click to vote
ACL
1989
15 years 7 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
176
click to vote
DAM
2008
15 years 6 months ago
2008
This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
200
click to vote
JUCS
2000
15 years 6 months ago
2000
This article introduces the idea that information compression by multiple alignment, unification and search (ICMAUS) provides a framework within which natural language syntax may ...
186
click to vote
IJDAR
2002
15 years 6 months ago
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...