Sciweavers

1501 search results - page 208 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
SAFECOMP
2007
Springer
15 years 10 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
PG
2002
IEEE
15 years 9 months ago
A Physics-Based Framework for Subdivision Surface Design with Automatic Rules Control
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
Hui Xie, Hong Qin
MIDDLEWARE
2004
Springer
15 years 9 months ago
Application partitioning and hierarchical management in grid environments
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
Patrícia Kayser Vargas, Inês de Castr...
3DPVT
2004
IEEE
106views Visualization» more  3DPVT 2004»
15 years 8 months ago
Metrological Analysis of a Procedure for the Automatic 3D Modeling of Dental Plaster Casts
As well known, in the reconstruction of the 3D models through optical systems, the errors are due to the singleview acquisition error and to the 3D modeling procedure. The latter ...
Nicola Brusco, Simone Carmignato, Marco Andreetto,...
ISMIR
2005
Springer
145views Music» more  ISMIR 2005»
15 years 10 months ago
An Investigation of Feature Models for Music Genre Classification Using the Support Vector Classifier
In music genre classification the decision time is typically of the order of several seconds, however, most automatic music genre classification systems focus on short time feat...
Anders Meng, John Shawe-Taylor