77016 search results - page 364 / 15404 » Modeling Modeling |
166
click to vote
HASE
2007
IEEE
15 years 10 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...
160
click to vote
ICCS
2005
Springer
16 years 7 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 ...
149
click to vote
ICAISC
2004
Springer
16 years 3 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 ...
159
click to vote
GEOINFORMATICA
2006
15 years 6 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...
174
click to vote
ICIP
2005
IEEE
16 years 8 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...