5216 search results - page 918 / 1044 » Planning as Model Checking |
129
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
146
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
135
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
125
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a novel multi-planar display system based on an uncalibrated projector-camera pair. Our system exploits the juxtaposition of planar surfaces in a room to create ad-hoc ...
114
click to vote
ECCV
1996
Springer
16 years 5 months ago
1996
Springer
In this paper, we propose an approach for the control and layering of space-time continuous visual tasks with an uncalibrated camera. The approach is based on the bidimensional ap...