1052 search results - page 63 / 211 » The Regular Real-Time Languages |
117
Voted
FSMNLP
2005
Springer
15 years 9 months ago
2005
Springer
We extend finite state registered automata (FSRA) to account for medium-distance dependencies in natural languages. We provide an extended regular expression language whose expres...
138
click to vote
SOFSEM
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Iterated hairpin completion is an operation on formal languages that is inspired by the hairpin formation in DNA biochemistry. Iterated hairpin completion of a word (or m...
144
Voted
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
122
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
115
click to vote
DEBU
2007
15 years 3 months ago
2007
Modern database systems mostly support representation and retrieval of data belonging to different scripts and different languages. But the database functions are mostly designed ...