303 search results - page 51 / 61 » Automata on Gauss Words |
90
Voted
CORR
2010
Springer
15 years 15 days ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
101
Voted
CORR
2008
Springer
15 years 15 days ago
2008
Springer
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
106
click to vote
CORR
2010
Springer
15 years 14 days ago
2010
Springer
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
75
Voted
ENTCS
2006
15 years 12 days ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
96
Voted
ENTCS
2006
15 years 12 days ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...