Sciweavers

1052 search results - page 59 / 211
» The Regular Real-Time Languages
Sort
View
COLING
2010
14 years 10 months ago
Varro: An Algorithm and Toolkit for Regular Structure Discovery in Treebanks
The Varro toolkit is a system for identifying and counting a major class of regularity in treebanks and annotated natural language data in the form of treestructures: frequently r...
Scott Martens
130
Voted
ICGI
2010
Springer
15 years 4 months ago
Distributional Learning of Some Context-Free Languages with a Minimally Adequate Teacher
Angluin showed that the class of regular languages could be learned from a Minimally Adequate Teacher (mat) providing membership and equivalence queries. Clark and Eyraud (2007) sh...
Alexander Clark
CSL
2001
Springer
15 years 8 months ago
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
Hitoshi Ohsaki
DNA
2004
Springer
157views Bioinformatics» more  DNA 2004»
15 years 9 months ago
Bond-Free Languages: Formalizations, Maximality and Construction Methods
The problem of negative design of DNA languages is addressed, that is, properties and construction methods of large sets of words that prevent undesired bonds when used in DNA com...
Lila Kari, Stavros Konstantinidis, Petr Sosí...
108
Voted
ITICSE
2005
ACM
15 years 9 months ago
Interactive manipulation of regular objects with FAdo
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
Nelma Moreira, Rogério Reis