2502 search results - page 185 / 501 » Using probabilistic model checking in systems biology |
199
click to vote
ASM
2010
ASM
16 years 29 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
215
click to vote
ARCSF
2008
15 years 8 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
146
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Histology is the science of understanding the structure of animals and plants, and studying the functional implications of biological structures. In this paper, we propose a stati...
162
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a method for reconstructing 3D models of tree branch structure from laser range data. Our approach is probabilistic, and uses a generative model of a tree to guide a...
172
click to vote
PAKDD
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. It is estimated that 20% of genes in the human genome encode for integral membrane proteins (IMPs) and some estimates are much higher. IMPs control a broad range of event...