Sciweavers

759 search results - page 83 / 152
» Odometers on Regular Languages
Sort
View
LTCONF
2007
Springer
15 years 4 months ago
Putting Semantics into WordNet's "Morphosemantic" Links
To add to WordNet's contents, and specifically to aid automatic reasoning with WordNet, we classify and label the current relations among derivationally and semantically rela...
Christiane Fellbaum, Anne Osherson, Peter E. Clark
SAC
1994
ACM
15 years 2 months ago
Fuzzy queries and relational databases
In this paper, the interest of fuzzy sets and possibility theory in the context of databases is presented. It is shown that these " notions provide an homogeneous framework f...
Patrick Bosc, Olivier Pivert
ICALP
1997
Springer
15 years 1 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen
CONCUR
2008
Springer
14 years 11 months ago
A Context-Free Process as a Pushdown Automaton
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. ...
ANLP
2000
92views more  ANLP 2000»
14 years 11 months ago
Left-To-Right Parsing and Bilexical Context-Free Grammars
We compare the asymptotic time complexity of left-to-right and bidirectional parsing techniques for bilexical context-free grammars, a grammar formalis an abstraction of language ...
Mark-Jan Nederhof, Giorgio Satta