Sciweavers

16832 search results - page 2980 / 3367
» Scenario Based Evaluation
Sort
View
SIAMSC
2010
157views more  SIAMSC 2010»
15 years 5 months ago
Certified Reduced Basis Methods and Output Bounds for the Harmonic Maxwell's Equations
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
Yanlai Chen, Jan S. Hesthaven, Yvon Maday, Jer&oac...
SPEECH
2010
136views more  SPEECH 2010»
15 years 5 months ago
Robust speech recognition by integrating speech separation and hypothesis testing
Missing data methods attempt to improve robust speech recognition by distinguishing between reliable and unreliable data in the time-frequency domain. Such methods require a binar...
Soundararajan Srinivasan, DeLiang L. Wang
SPIN
2010
Springer
15 years 5 months ago
Context-Enhanced Directed Model Checking
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
Martin Wehrle, Sebastian Kupferschmid
SQJ
2010
152views more  SQJ 2010»
15 years 5 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
184
Voted
SUTC
2010
IEEE
15 years 5 months ago
Transaction-Level Modeling for Sensor Networks Using SystemC
—As sensor networks are finding widespread use across many applications, designers increasingly must not only focus on application development, but also on sensor network optimiz...
Jeff Hiner, Ashish Shenoy, Roman L. Lysecky, Susan...
« Prev « First page 2980 / 3367 Last » Next »