Sciweavers

41 search results - page 5 / 9
» Automatic title generation for EM
Sort
View
APLAS
2005
ACM
14 years 11 months ago
Loop Invariants on Demand
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
K. Rustan M. Leino, Francesco Logozzo
ECCV
2002
Springer
15 years 11 months ago
Audio-Video Sensor Fusion with Probabilistic Graphical Models
Abstract. We present a new approach to modeling and processing multimedia data. This approach is based on graphical models that combine audio and video variables. We demonstrate it...
Matthew J. Beal, Hagai Attias, Nebojsa Jojic
ACCV
2009
Springer
15 years 4 months ago
Evolving Mean Shift with Adaptive Bandwidth: A Fast and Noise Robust Approach
Abstract. This paper presents a novel nonparametric clustering algorithm called evolving mean shift (EMS) algorithm. The algorithm iteratively shrinks a dataset and generates well ...
Qi Zhao, Zhi Yang, Hai Tao, Wentai Liu
CPHYSICS
2007
222views more  CPHYSICS 2007»
14 years 9 months ago
JADAMILU: a software code for computing selected eigenvalues of large sparse symmetric matrices
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
Matthias Bollhöfer, Yvan Notay
HT
2009
ACM
15 years 4 months ago
Using a thematic model to enrich photo montages
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
Charlie Hargood, David E. Millard, Mark J. Weal