Sciweavers

2838 search results - page 421 / 568
» Verifying Controlled Components
Sort
View
ACL
2011
13 years 2 months ago
Semi-supervised latent variable models for sentence-level sentiment analysis
We derive two variants of a semi-supervised model for fine-grained sentiment analysis. Both models leverage abundant natural supervision in the form of review ratings, as well as...
Oscar Täckström, Ryan T. McDonald
POPL
2012
ACM
12 years 6 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
ICIP
1999
IEEE
14 years 12 months ago
Face Recognition of Video Sequences in a Mpeg-7 Context Using a Global Eigen Approach
An integral scheme that provides a global eigen approach to the problem of face recognition of still images has been presented in [1]. The scheme is based on the representation of...
Luis Lorente, Luis Torres
MICCAI
2004
Springer
14 years 11 months ago
Learning Coupled Prior Shape and Appearance Models for Segmentation
We present a novel framework for learning a joint shape and appearance model from a large set of un-labelled training examples in arbitrary positions and orientations. The shape an...
Xiaolei Huang, Zhiguo Li, Dimitris N. Metaxas
SIGSOFT
2006
ACM
14 years 11 months ago
Finding failure-inducing changes in java programs using change classification
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
Barbara G. Ryder, Frank Tip, Maximilian Störz...