611 search results - page 72 / 123 » Relative simulation and model checking of real-time processe... |
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
ICA3PP
2005
Springer
14 years 2 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
In multi-task learning our goal is to design regression or classification models for each of the tasks and appropriately share information between tasks. A Dirichlet process (DP) ...
WSC
2004
13 years 10 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
BMCBI
2006
13 years 9 months ago
2006
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...