7918 search results - page 134 / 1584 » Model Composition Directives |
129
Voted
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
111
Voted
ACAL
2007
Springer
15 years 6 months ago
2007
Springer
Biological development is a complex process that mediates between genotypes, to which mutations occur, and phenotypes, on which selection acts. Properties of development can theref...
100
Voted
EMNLP
2007
15 years 4 months ago
2007
In this paper we explore the use of selectional preferences for detecting noncompositional verb-object combinations. To characterise the arguments in a given grammatical relations...
124
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
132
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...