Sciweavers

4325 search results - page 478 / 865
» Incremental computation with names
Sort
View
ACL
1998
15 years 8 months ago
Entity-Based Cross-Document Coreferencing Using the Vector Space Model
Cross-document coreference occurs when the same person, place, event, or concept is discussed in more than one text source. Computer recognition of this phenomenon is important be...
Amit Bagga, Breck Baldwin
APDC
1997
15 years 8 months ago
Language Support for Synchronous Parallel Critical Sections
We introduce a new parallel programming paradigm, namely synchronous parallel critical sections. Such parallel critical sections must be seen in the context of switching between s...
Christoph W. Keßler, Helmut Seidl
IJCAI
1997
15 years 8 months ago
Compiling Prioritized Circumscription into Extended Logic Programs
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
Toshiko Wakaki, Ken Satoh
PDPTA
1997
15 years 8 months ago
A Performance Model for Mobile Agent Systems
A performance model for the interaction of agents in mobile agent systems is presented. Two interaction models, namely the remote procedure call and the agent migration are conside...
Markus Straßer, Markus Schwehm
COLING
1996
15 years 8 months ago
Focus and Higher-Order Unification
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
Claire Gardent, Michael Kohlhase