423 search results - page 61 / 85 » The Generalization of Generalized Automata: Expression Autom... |
LPNMR
2001
Springer
14 years 1 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
VL
1994
IEEE
14 years 22 days ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
STACS
1991
Springer
14 years 4 days ago
1991
Springer
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
In this work a branch prediction system which utilizes evolutionary techniques is introduced. It allows the predictor to adapt to the executed code and thus to improve its perform...
FUIN
2007
13 years 8 months ago
2007
Intercodes are a generalization of comma-free codes. Using the structural properties of finite-state automata recognizing an intercode we develop a polynomial-time algorithm for d...