4341 search results - page 308 / 869 » Quantitative Model checking |
174
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
141
click to vote
WSC
2001
15 years 8 months ago
2001
Scalability and input domain explosion make it impossible to exhaustively test simulation systems. Improved methods such as statistical usage testing are needed to provide quantit...
168
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
We present a set of models for simulating vegetation dynamics in disturbance-prone ecosystems with different complexity levels, integrated in a modelling environment for generatin...
183
click to vote
CVPR
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a quantitative comparison of several multi-view stereo reconstruction algorithms. Until now, the lack of suitable calibrated multi-view image datasets with kno...
169
click to vote
ICDM
2006
IEEE
16 years 23 days ago
2006
IEEE
In order to make good strategies, soccer coaches analyze the archives of matches, which can be effectively considered as a set of trajectories. We can extract several useful infor...