762 search results - page 74 / 153 » Intercode Regular Languages |
107
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
127
click to vote
CSR
2006
Springer
15 years 7 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
141
click to vote
DLT
2010
15 years 5 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
137
click to vote
TAGT
1994
Springer
15 years 8 months ago
1994
Springer
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
162
click to vote
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...