1054 search results - page 156 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
144
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
111
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
153
click to vote
GW
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
144
click to vote
ITSSA
2006
15 years 4 months ago
2006
: An autonomic network must work unsupervised, therefore must be able to respond to unpredictable situations. The BIONETS project is working towards resilient network services that...
157
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...