4167 search results - page 89 / 834 » Regression model checking |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
CVPR
2008
IEEE
15 years 3 days ago
2008
IEEE
In this paper, we present a patch-based regression framework for addressing the human age and head pose estimation problems. Firstly, each image is encoded as an ensemble of order...
CVPR
2001
IEEE
15 years 3 days ago
2001
IEEE
This paper presents a novel feature-matching based approach for rigid object tracking. The proposed method models the tracking problem as discovering the affine transforms of obje...