Sciweavers

2229 search results - page 313 / 446
» Comparative analysis of biclustering algorithms
Sort
View
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
14 years 5 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
ICC
2009
IEEE
128views Communications» more  ICC 2009»
14 years 5 months ago
Approximate Flow-Aware Networking
—A new variation of the Flow-Aware Networking (FAN) concept is presented in the paper. The proposed solution is based on the Approximate Fair Dropping algorithm and called by us ...
Jerzy Domzal, Andrzej Jajszczyk
BTW
2009
Springer
146views Database» more  BTW 2009»
14 years 4 months ago
Towards Flash Disk Use in Databases - Keeping Performance While Saving Energy?
Abstract: Green computing or energy saving when processing information is primarily considered a task of processor development. We, however, advocate that a holistic approach is ne...
Theo Härder, Karsten Schmidt 0002, Yi Ou, Seb...
ICASSP
2008
IEEE
14 years 4 months ago
Single-channel speech separation based on modulation frequency
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...
Lingyun Gu, Richard M. Stern
ICPR
2008
IEEE
14 years 4 months ago
Back to the future: Robust foreground extraction with reversed-time background modeling
“Ghosts” arise in traditional background subtraction when an object starts to move, causing the exposed background to be labelled as a ghost foreground. With background model ...
Akhilesh Kumar Sinha, Prithwijit Guha, Amitabha Mu...