Sciweavers

2496 search results - page 143 / 500
» Error-detecting properties of languages
Sort
View
ECAL
2007
Springer
15 years 8 months ago
How Does Niche Construction Reverse the Baldwin Effect?
Deacon [1] considers that the reverse Baldwin effect can be one of the major forces in language evolution. The reverse Baldwin effect is essentially a redistributional process of g...
Hajime Yamauchi
UAI
2000
15 years 5 months ago
Probabilistic State-Dependent Grammars for Plan Recognition
Techniques for plan recognition under uncertainty require a stochastic model of the plangeneration process. We introduce probabilistic state-dependent grammars (PSDGs) to represen...
David V. Pynadath, Michael P. Wellman
EACL
1989
ACL Anthology
15 years 5 months ago
Extended Graph Unification
We propose an apparently minor extension to Kay's (1985} notation for describing directed acyclic graphs (DAGs}. The proposed notation permits concise descriptions of phenome...
Allan Ramsay
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 4 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
ACTA
2006
74views more  ACTA 2006»
15 years 4 months ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer