77016 search results - page 364 / 15404 » Modeling Modeling |
192
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
177
click to vote
ICCS
2005
Springer
16 years 29 days ago
2005
Springer
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
178
click to vote
ICAISC
2004
Springer
16 years 25 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
182
click to vote
GEOINFORMATICA
2006
15 years 7 months ago
2006
This paper investigates how portability of a model between different computer operating systems can lead to increased efficiency in code execution. The portability problem is not a...
194
Voted
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
A new approach for localizing facial structure in videos is proposed in this paper by modeling shape alignment dynamically. The approach makes use of the spatial-temporal continuit...