330 search results - page 53 / 66 » Algorithms for Propositional Model Counting |
108
click to vote
WDAG
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to ...
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
SCALESPACE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Measurements in nanoscopic imaging suffer from blurring effects concerning different point spread functions (PSF). Some apparatus even have PSFs that are locally depend...
ICASSP
2008
IEEE
15 years 3 months ago
2008
IEEE
In this work we present a method to perform a complete audiovisual source separation without need of previous information. This method is based on the assumption that sounds are c...
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
The following article presents a novel, adaptive initialization scheme that can be applied to most state-of-the-art Speaker Diarization algorithms, i.e. algorithms that use agglom...