10159 search results - page 510 / 2032 » System Design Validation Using Formal Models |
150
Voted
CCE
2005
15 years 6 months ago
2005
In the field of controlled release technology for pesticides or active ingredients (AI), models that can predict its delivery during application are important for purposes of desi...
194
click to vote
IJCNN
2006
IEEE
16 years 5 days ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
179
click to vote
IJCV
2008
15 years 6 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
227
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new approach to the forming control using a forming process model of rheological food dough is presented. Manipulative operations of rheological objects can be found in many ind...
166
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...