Sciweavers

4491 search results - page 99 / 899
» Algorithm Engineering
Sort
View
ICSM
2002
IEEE
14 years 2 months ago
Evaluating Context-Sensitive Slicing and Chopping
We present an empirical evaluation of three contextsensitive slicing algorithms and five context-sensitive chopping algorithms, and compare them to context-insensitive methods. B...
Jens Krinke
SIGSOFT
2006
ACM
14 years 10 months ago
SYNERGY: a new algorithm for property checking
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...
CN
1999
73views more  CN 1999»
13 years 9 months ago
Measuring Index Quality Using Random Walks on the Web
Recent researchhas studied howto measurethe size of a searchengine, in terms of the number of pages indexed. In this paper, we consider a di erent measure for search engines, name...
Monika Rauch Henzinger, Allan Heydon, Michael Mitz...
TASLP
2010
84views more  TASLP 2010»
13 years 4 months ago
Improving Speech Intelligibility in Noise Using Environment-Optimized Algorithms
While most speech enhancement algorithms improve speech quality, they may not improve speech intelligibility in noise. This paper focuses on the development of an algorithm that ca...
Gibak Kim, Philipos C. Loizou

Book
412views
15 years 8 months ago
Algorithms for Clustering Data
"Cluster analysis is an important technique in the rapidly growing field known as exploratory data analysis and is being applied in a variety of engineering and scientific dis...
A. K. Jain, R. C. Dubes