Sciweavers

15614 search results - page 253 / 3123
» The State of State
Sort
View
CAV
2007
Springer
110views Hardware» more  CAV 2007»
16 years 23 days ago
Parallelising Symbolic State-Space Generators
Jonathan Ezekiel, Gerald Lüttgen, Gianfranco ...
CICLING
2007
Springer
16 years 23 days ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
ESORICS
2007
Springer
16 years 23 days ago
A Logic for State-Modifying Authorization Policies
Moritz Y. Becker, Sebastian Nanz
GECCO
2007
Springer
189views Optimization» more  GECCO 2007»
16 years 23 days ago
A more bio-plausible approach to the evolutionary inference of finite state machines
With resemblance of finite-state machines to some biological mechanisms in cells and numerous applications of finite automata in different fields, this paper uses analogies an...
Hooman Shayani, Peter J. Bentley