2502 search results - page 253 / 501 » Using probabilistic model checking in systems biology |
165
click to vote
COLING
2008
15 years 8 months ago
2008
This paper describes an incremental approach to parsing transcribed spontaneous speech containing disfluencies with a Hierarchical Hidden Markov Model (HHMM). This model makes use...
221
click to vote
ACOM
2006
Springer
16 years 17 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
163
click to vote
SASO
2008
IEEE
16 years 29 days ago
2008
IEEE
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
178
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
174
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The ability to infer parameters of gene regulatory networks is emerging as a key problem in systems biology. The biochemical data are intrinsically stochastic and tend to be observ...