Sciweavers

811 search results - page 46 / 163
» Probabilistic Semantics and Program Analysis
Sort
View
97
Voted
MM
2003
ACM
132views Multimedia» more  MM 2003»
15 years 7 months ago
On image auto-annotation with latent space models
Image auto-annotation, i.e., the association of words to whole images, has attracted considerable attention. In particular, unsupervised, probabilistic latent variable models of t...
Florent Monay, Daniel Gatica-Perez
CVPR
2010
IEEE
15 years 10 months ago
Clustering Dynamic Textures with the Hierarchical EM Algorithm
The dynamic texture (DT) is a probabilistic generative model, defined over space and time, that represents a video as the output of a linear dynamical system (LDS). The DT model ...
Antoni Chan, Emanuele Coviello, Gert Lanckriet
SIGSOFT
2009
ACM
16 years 3 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
OOPSLA
2007
Springer
15 years 8 months ago
Probabilistic calling context
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
Michael D. Bond, Kathryn S. McKinley
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 8 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick