888 search results - page 113 / 178 » The Power of Temporal Proofs |
JMLR
2002
14 years 9 months ago
2002
Approximate Bayesian Gaussian process (GP) classification techniques are powerful nonparametric learning methods, similar in appearance and performance to support vector machines....
PVLDB
2008
14 years 9 months ago
2008
We describe XTreeNet, a distributed query dissemination engine which facilitates democratization of publishing and efficient data search among members of online communities with p...
102
click to vote
ALGORITHMICA
2011
14 years 1 months ago
2011
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dual-objective scheduling problems, where the operati...
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a new image analysis method to segment and track cells in a growing colony. By using an intermediate low-dimension image representation yielded by a reliable over-segme...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this article, we introduce a novel approach for monaural source separation with the specific aim to separate a polyphonic musical recording into two main sources: a main instr...