Sciweavers

805 search results - page 119 / 161
» C-Meter: A Framework for Performance Analysis of Computing C...
Sort
View
RTA
2007
Springer
14 years 3 months ago
Rewriting Approximations for Fast Prototyping of Static Analyzers
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luk...
CSL
2010
Springer
13 years 9 months ago
Monaural speech separation based on MAXVQ and CASA for robust speech recognition
Robustness is one of the most important topics for automatic speech recognition (ASR) in practical applications. Monaural speech separation based on computational auditory scene a...
Peng Li, Yong Guan, Shijin Wang, Bo Xu, Wenju Liu
SAC
2010
ACM
13 years 7 months ago
Optimal linear projections for enhancing desired data statistics
Problems involving high-dimensional data, such as pattern recognition, image analysis, and gene clustering, often require a preliminary step of dimension reduction before or durin...
Evgenia Rubinshtein, Anuj Srivastava
BMVC
2010
13 years 6 months ago
Background Modelling on Tensor Field for Foreground Segmentation
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
Rui Caseiro, Jorge Batista, Pedro Martins
ATAL
2006
Springer
14 years 18 days ago
Integrating parallel interactions into cooperative search
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
Efrat Manisterski, David Sarne, Sarit Kraus