184 search results - page 37 / 37 » A Formal Framework for Mutation Testing |
112
Voted
SPEECH
2010
14 years 11 months ago
2010
In this paper we investigate the modulation domain as an alternative to the acoustic domain for speech enhancement. More specifically, we wish to determine how competitive the mo...
97
Voted
HM
2007
Springer
15 years 7 months ago
2007
Springer
The connected facility location (ConFL) problem generalizes the facility location problem and the Steiner tree problem in graphs. Given a graph G = (V, E), a set of customers D ⊆...
97
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
130
Voted
IDA
2000
Springer
15 years 29 days ago
2000
Springer
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...