Sciweavers

1964 search results - page 274 / 393
» informs 2011
Sort
View
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 8 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
CVPR
2011
IEEE
14 years 8 months ago
Activity Recognition using Dynamic Subspace Angles
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
Octavia Camps, Mario Sznaier, Binlong Li, Teresa M...
CVPR
2011
IEEE
14 years 8 months ago
Support Tucker Machines
In this paper we address the two-class classification problem within the tensor-based framework, by formulating the Support Tucker Machines (STuMs). More precisely, in the propos...
Irene Kotsia, Ioannis Patras
CVPR
2011
IEEE
14 years 8 months ago
Generalized Group Sparse Classifiers with Application in fMRI Brain Decoding
The perplexing effects of noise and high feature dimensionality greatly complicate functional magnetic resonance imaging (fMRI) classification. In this paper, we present a novel f...
Bernard Ng, Rafeef Abugharbieh
CVPR
2011
IEEE
14 years 8 months ago
Symmetric Piecewise Planar Object Reconstruction from a Single Image
Recovering 3D geometry from a single view of an object is an important and challenging problem in computer vision. Previous methods mainly focus on one specific class of objects ...
Tianfan XUE, Jianzhuang LIU