2296 search results - page 307 / 460 » The Expressive Power of Synchronizations |
173
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Conventional computation models restrict to particular data structures to represent states of a computation, e.g. natural numbers, s, stacks, etc. Gurevich's Abstract State Ma...
150
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we investigate the application of tree-adjunct grammars to grammatical evolution. The standard type of grammar used by grammatical evolution, context-free grammars, p...
121
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: DNA sequencing is now emerging as an important component in biomedical studies of diseases like cancer. Short-read, highly parallel sequencing instruments are expected...
192
click to vote
ENTCS
2008
15 years 6 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
160
click to vote
ENTCS
2006
15 years 6 months ago
2006
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...