Sciweavers

5205 search results - page 196 / 1041
» Tilings and model theory
Sort
View
RTSS
1998
IEEE
14 years 2 months ago
Elastic Task Model for Adaptive Rate Control
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
SIGGRAPH
1997
ACM
14 years 2 months ago
Guaranteeing the topology of an implicit surface polygonization for interactive modeling
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
Barton T. Stander, John C. Hart
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 2 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
14 years 2 months ago
Inside a predator-prey model for multi-objective optimization: a second study
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
Christian Grimme, Karlheinz Schmitt
ECSQARU
1995
Springer
14 years 1 months ago
Model-Based Diagnostics Using Hints
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
Jürg Kohlas, Paul-André Monney, Rolf H...