611 search results - page 46 / 123 » Relative simulation and model checking of real-time processe... |
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
The goal of this article is to present an effective and robust tracking algorithm for nonlinear feet motion by deploying particle filter integrated with Gaussian process latent v...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
EUROCAST
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
SOFSEM
2007
Springer
14 years 3 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...