Sciweavers

1802 search results - page 98 / 361
» Complexity Theory for Operators in Analysis
Sort
View
SIAMMAX
2011
74views more  SIAMMAX 2011»
15 years 1 months ago
Goal-Oriented and Modular Stability Analysis
We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-orie...
Paolo Bientinesi, Robert A. van de Geijn
NIPS
2004
15 years 7 months ago
Real-Time Pitch Determination of One or More Voices by Nonnegative Matrix Factorization
An auditory "scene", composed of overlapping acoustic sources, can be viewed as a complex object whose constituent parts are the individual sources. Pitch is known to be...
Fei Sha, Lawrence K. Saul
SOCO
2009
Springer
16 years 24 days ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
ECSA
2007
Springer
16 years 12 days ago
The Art and Science of Software Architecture
The past 20 years has seen significant investments in the theory and practice of software architecture. However, architectural deficiencies are frequently cited as a key factor in ...
Alan W. Brown, John A. McDermid
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky