Search Sciweavers | Sciweavers

1423 search results - page 32 / 285

» Languages of Nested Trees

131

click to vote

SOFSEM
2005
Springer

112views Theoretical Computer Science» more SOFSEM 2005»

Characteristic Patterns for LTL

15 years 11 months ago

Download www.fi.muni.cz

We give a new characterization of those languages that are deﬁnable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...

Antonín Kucera, Jan Strejcek

claim paper

Read More »

203

click to vote

TGC
2010
Springer

242views Applied Computing» more TGC 2010»

An Algebra of Hierarchical Graphs

15 years 3 months ago

Download www.albertolluch.com

We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...

Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafue...

claim paper

Read More »

139

click to vote

CICLING
2001
Springer

100views Natural Language Processing» more CICLING 2001»

Lexical Semantic Ambiguity Resolution with Bigram-Based Decision Trees

15 years 10 months ago