Sciweavers

1052 search results - page 71 / 211
» The Regular Real-Time Languages
Sort
View
90
Voted
EACL
1989
ACL Anthology
15 years 4 months ago
The Syntactic Regularity Of English Noun Phrases
Approximately, 10,000 naturally occurring noun phrases taken from the LOB corpus were used firstly, to evaluate the NP component of the Alvey ANLT grammar (Grover et al., 1987, 19...
Lita Taylor, Claire Grover, Ted Briscoe
110
Voted
CAV
2010
Springer
181views Hardware» more  CAV 2010»
15 years 7 months ago
Bounded Underapproximations
We show a new and constructive proof of the following language-theoretic result: for every context-free language L, there is a bounded context-free language L L which has the same...
Pierre Ganty, Rupak Majumdar, Benjamin Monmege
128
Voted
VISUALIZATION
1999
IEEE
15 years 8 months ago
Design and Implementation of an Immersive Geoscience Toolkit
Having a better way to represent and to interact with large geological models are topics of high interest in geoscience, and especially for oil and gas companies. We present in th...
Christophe Winkler, Fabien Bosquet, Xavier Cavin, ...
114
Voted
FSTTCS
2008
Springer
15 years 4 months ago
An Optimal Construction of Finite Automata from Regular Expressions
We consider the construction of finite automata from their corresponding regular expressions by a series of digraph-transformations along the expression’s structure. Each interm...
Stefan Gulan, Henning Fernau
120
Voted
AML
2008
84views more  AML 2008»
15 years 2 months ago
Model theory of the regularity and reflection schemes
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
Ali Enayat, Shahram Mohsenipour