442 search results - page 21 / 89 » Dependency Charts as a Means to Model Inter-Scenario Depende... |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
The paper investigates the problem of tracking a desired plasma glucose evolution by means of intra-venous insulin administration. A modelbased approach is followed. A recent model...
COLING
2010
13 years 3 months ago
2010
The aim of this study is to use the word-space model to measure the semantic loads of single verbs, profile verbal lexicon acquisition, and explore the semantic information on Chi...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper we propose and test an action recognition algorithm in which the images of the scene captured by a significant number of cameras are first used to generate a volumet...
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...