442 search results - page 21 / 89 » Dependency Charts as a Means to Model Inter-Scenario Depende... |
87
Voted
CDC
2008
IEEE
15 years 6 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
14 years 6 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...
101
click to vote
ICIP
2004
IEEE
16 years 1 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...
105
click to vote
ECBS
2010
IEEE
15 years 6 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
15 years 6 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...