1788 search results - page 160 / 358 » Model Theory for Process Algebra |
125
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
119
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
145
Voted
SIGMETRICS
2000
ACM
15 years 8 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
121
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
125
Voted
IJCAI
1989
15 years 4 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...