Sciweavers

9325 search results - page 436 / 1865
» The decentralized implementability problem
Sort
View
ACL
1993
15 years 6 months ago
Principle-Based Parsing without Overgeneration
Overgeneration is the main source of computational complexity in previous principle-based parsers. This paper presents a message passing algorithm for principle-based parsing that...
Dekang Lin
ACL
1996
15 years 6 months ago
Resolving Anaphors in Embedded Sentences
We propose an Mgorithm to resolve anaphors, tackling mainly the problem of intrasentential antecedents. We base our methodology on the fact that such antecedents are likely to occ...
Saliha Azzam
ACL
1992
15 years 6 months ago
A Connectionist Parser for Structure Unification Grammar
This paper presents a connectionist syntactic parser which uses Structure Unification Grammar as its grammatical framework. The parser is implemented in a connectionist architectu...
James Henderson
ECAI
2010
Springer
15 years 6 months ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
BIRTHDAY
2010
Springer
15 years 5 months ago
Distributed SQL Queries with BubbleStorm
Abstract. Current peer-to-peer (p2p) systems place the burden of application-level query execution on the application developer. Not only do application developers lack the experti...
Christof Leng, Wesley W. Terpstra