811 search results - page 67 / 163 » Probabilistic Semantics and Program Analysis |
111
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
128
Voted
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we propose a generative model-based approach for audio-visual event classification. This approach is based on a new unsupervised learning method using an extended p...
ENTCS
2007
15 years 2 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
117
Voted
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Image categorization is undoubtedly one of the most challenging open problems faced in Computer Vision, far from being solved by employing pure visual cues. Recently, additional t...
144
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...