Sciweavers

2632 search results - page 357 / 527
» Predictive Representations of State
Sort
View
FORTE
2009
15 years 4 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ICB
2009
Springer
197views Biometrics» more  ICB 2009»
15 years 4 months ago
Dynamic Texture Based Gait Recognition
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
Vili Kellokumpu, Guoying Zhao, Stan Z. Li, Matti P...
ICMCS
2009
IEEE
104views Multimedia» more  ICMCS 2009»
15 years 4 months ago
A variational multi-view learning framework and its application to image segmentation
The paper presents a novel multi-view learning framework based on variational inference. We formulate the framework as a graph representation in form of graph factorization: the g...
Zhenglong Li, Qingshan Liu, Hanqing Lu
COLING
2010
15 years 1 months ago
Generative Alignment and Semantic Parsing for Learning from Ambiguous Supervision
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
Joohyun Kim, Raymond J. Mooney
JMIV
2011
138views more  JMIV 2011»
15 years 1 months ago
Direct Sparse Deblurring
We propose a deblurring algorithm that explicitly takes into account the sparse characteristics of natural images and does not entail solving a numerically ill-conditioned backwar...
Yifei Lou, Andrea L. Bertozzi, Stefano Soatto