Sciweavers

1222 search results - page 119 / 245
» A Bayesian Approach to Model Checking Biological Systems
Sort
View
ICPR
2006
IEEE
16 years 5 months ago
Bayesian Imitation of Human Behavior in Interactive Computer Games
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
Bernard Gorman, Christian Bauckhage, Christian Thu...
RECOMB
2003
Springer
16 years 4 months ago
Physical network models and multi-source data integration
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
Chen-Hsiang Yeang, Tommi Jaakkola
BIOSYSTEMS
2007
109views more  BIOSYSTEMS 2007»
15 years 4 months ago
Complex adaptation and system structure
The structural organization of biological systems is one of nature’s most fascinating aspects, but its origin and functional role is not yet fully understood. For instance, basi...
Marc Toussaint, Werner von Seelen
130
Voted
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 8 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
GI
2009
Springer
15 years 8 months ago
Massively-Parallel Simulation of Biochemical Systems
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...
Jens Ackermann, Paul Baecher, Thorsten Franzel, Mi...