15792 search results - page 2885 / 3159 » Computational Abstraction Steps |
176
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider fingerprinting methods for collaborative filtering (CF) systems. In general, CF systems show their real strength when supplied with enormous data sets. Earl...
155
click to vote
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
181
click to vote
TAICPART
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
164
click to vote
TASLP
2010
15 years 4 months ago
2010
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
161
click to vote
TASLP
2010
15 years 4 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...