1222 search results - page 87 / 245 » A Bayesian Approach to Model Checking Biological Systems |
151
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
145
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
125
click to vote
NIPS
1997
15 years 5 months ago
1997
Image intensity variations can result from several different object surface effects, including shading from 3-dimensional relief of the object, or paint on the surface itself. An ...
131
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
142
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...