Sciweavers

5619 search results - page 299 / 1124
» A Region Inference Algorithm
Sort
View
165
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Point process MCMC for sequential music transcription
In this paper, models and algorithms are presented for transcription of pitch and timings in polyphonic music extracts, focusing on the algorithm details of the sequential Markov ...
Pete Bunch, Simon J. Godsill
157
Voted
APLAS
2009
ACM
16 years 1 months ago
Bi-abductive Resource Invariant Synthesis
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
Cristiano Calcagno, Dino Distefano, Viktor Vafeiad...
CORR
2011
Springer
164views Education» more  CORR 2011»
15 years 1 months ago
Sweeping an oval to a vanishing point
Given a convex region in the plane, and a sweep-line as a tool, what is best way to reduce the region to a single point by a sequence of sweeps? The problem of sweeping points by ...
Adrian Dumitrescu, Minghui Jiang
ASPLOS
2006
ACM
15 years 10 months ago
Accurate and efficient regression modeling for microarchitectural performance and power prediction
We propose regression modeling as an efficient approach for accurately predicting performance and power for various applications executing on any microprocessor configuration in a...
Benjamin C. Lee, David M. Brooks
176
Voted
ACCV
2006
Springer
16 years 20 days ago
Online Updating Appearance Generative Mixture Model for Meanshift Tracking
This paper proposes an appearance generative mixture model based on key frames for meanshift tracking. Meanshift tracking algorithm tracks object by maximizing the similarity betwe...
Jilin Tu, Hai Tao, Thomas S. Huang