357 search results - page 29 / 72 » Computing Reachable States for Nonlinear Biological Models |
119
Voted
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
144
click to vote
TSMC
1998
15 years 3 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
141
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
160
Voted
IDA
1999
Springer
15 years 8 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
122
click to vote
FLAIRS
2008
15 years 6 months ago
2008
We are interested in building decision-support software for social welfare case managers. Our model in the form of a factored Markov decision process is so complex that a standard...