Sciweavers

5232 search results - page 771 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
SIGOPSE
2004
ACM
16 years 26 days ago
An approach to benchmarking configuration complexity
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
Aaron B. Brown, Joseph L. Hellerstein
223
Voted
ISMIR
2004
Springer
90views Music» more  ISMIR 2004»
16 years 24 days ago
Automatic extraction of music descriptors from acoustic signals
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
François Pachet, Aymeric Zils
207
Voted
APSEC
2002
IEEE
16 years 12 days ago
Quality Driven Transformation Compositions for Object Oriented Migration
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
Ying Zou, Kostas Kontogiannis
204
Voted
WSC
2008
15 years 9 months ago
Knowledge-based event control for flow-shops using simulation and rules
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
Mark Aufenanger, Wilhelm Dangelmaier, Christoph La...
179
Voted
ECAI
2008
Springer
15 years 9 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan