376 search results - page 60 / 76 » Improved Design Debugging Using Maximum Satisfiability |
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
As the time of mobile Internet has come gently, the mobile applications has progressively designed by techniques based on web technology. The web technology has a lot of strong po...
ICASSP
2011
IEEE
2011
IEEE
Polyphonic audio-to-score alignment based on Bayesian Latent Harmonic Allocation Hidden Markov Model
14 years 1 months ago
This paper presents a Bayesian method for temporally aligning a music score and an audio rendition. A critical problem in audio-toscore alignment is in dealing with the wide varie...
84
Voted
KDD
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. As more and more person-specific data like health information becomes available, increasing attention is paid to confidentiality and privacy protection. One proposed mode...
JCDL
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...