Sciweavers

3272 search results - page 361 / 655
» Introduction to Software Performance Engineering
Sort
View
TASLP
2010
96views more  TASLP 2010»
15 years 1 months ago
Evaluating Source Separation Algorithms With Reverberant Speech
This paper examines the performance of several source separation systems on a speech separation task for which human intelligibility has previously been measured. For anechoic mixt...
Michael I. Mandel, S. Bressler, Barbara G. Shinn-C...
EMSOFT
2005
Springer
16 years 5 days ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
APN
2010
Springer
15 years 11 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
EGICE
2006
15 years 10 months ago
Wireless Sensing, Actuation and Control - With Applications to Civil Structures
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of...
Yang Wang 0013, Jerome P. Lynch, Kincho H. Law
LREC
2010
155views Education» more  LREC 2010»
15 years 8 months ago
A Named Entity Labeler for German: Exploiting Wikipedia and Distributional Clusters
Named Entity Recognition is a relatively well-understood NLP task, with many publicly available training resources and software for English. Other languages tend to be underserved...
Grzegorz Chrupala, Dietrich Klakow