Sciweavers

10718 search results - page 731 / 2144
» On the Circuit Implementation Problem
Sort
View
ACL
2000
15 years 9 months ago
A Constraint-based Approach to English Prosodic Constituents
The paper develops a constraint-based theory of prosodic phrasing and prominence, based on an HPSG framework, with an implementation in ALE. Prominence and juncture are represente...
Ewan Klein
ACL
1993
15 years 9 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 9 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 8 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 8 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...