Sciweavers

116 search results - page 5 / 24
» Operations Preserving Recognizable Languages
Sort
View
FOSSACS
2006
Springer
13 years 11 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
ECOOP
2009
Springer
14 years 8 months ago
Modular Visitor Components
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
Bruno C. D. S. Oliveira
EUROGP
2003
Springer
173views Optimization» more  EUROGP 2003»
14 years 28 days ago
Tree Adjoining Grammars, Language Bias, and Genetic Programming
In this paper, we introduce a new grammar guided genetic programming system called tree-adjoining grammar guided genetic programming (TAG3P+), where tree-adjoining grammars (TAGs) ...
Nguyen Xuan Hoai, Robert I. McKay, Hussein A. Abba...
COLING
2008
13 years 9 months ago
Toward a Psycholinguistically-Motivated Model of Language Processing
Psycholinguistic studies suggest a model of human language processing that 1) performs incremental interpretation of spoken utterances or written text, 2) preserves ambiguity by m...
William Schuler, Samir AbdelRahman, Tim Miller, La...
ACSD
2010
IEEE
215views Hardware» more  ACSD 2010»
13 years 5 months ago
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
Mike Gemunde, Jens Brandt, Klaus Schneider