16216 search results - page 329 / 3244 » Effective Modeling with Constraints |
169
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Separating multiple tracks from professionally produced music recordings (PPMRs) is still a challenging problem. We address this task with a user-guided approach in which the sepa...
183
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
188
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— To explore the benefit of advertising instant and location-aware commercials that can not be effectively promoted by traditional medium like TV program and Internet, we propos...
163
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
in Proc. IEEE Int’l Conf. on Computer Vision (ICCV), October, 2007 Traditional Bayesian restoration methods depend heavily on the accuracy of underlying generative models. For t...
167
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a fast GPU-based algorithm to approximate the Swept Volume (SV) boundary of arbitrary polygon soup models. Despite the extensive research on calculating the volume s...