Sciweavers

4211 search results - page 520 / 843
» A formal approach to MASQ
Sort
View
ENTCS
2008
137views more  ENTCS 2008»
15 years 6 months ago
Computerizing Mathematical Text with MathLang
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
Fairouz Kamareddine, J. B. Wells
SIGCSE
2008
ACM
171views Education» more  SIGCSE 2008»
15 years 6 months ago
Contributing student pedagogy
A Contributing Student Pedagogy (CSP) is a pedagogy that encourages students to contribute to the learning of others and to value the contributions of others. CSP in formal educat...
John Hamer, Quintin I. Cutts, Jana Jacková,...
CVPR
2009
IEEE
17 years 1 months ago
Fast concurrent object localization and recognition
Object localization and classification are important problems in computer vision. However, in many applications, exhaustive search over all class labels and image locations is co...
Tom Yeh, John J. Lee, Trevor Darrell
CVPR
2009
IEEE
17 years 1 months ago
Max-Margin Hidden Conditional Random Fields for Human Action Recognition
We present a new method for classification with structured latent variables. Our model is formulated using the max-margin formalism in the discriminative learning literature. We...
Yang Wang 0003, Greg Mori
CVPR
1999
IEEE
16 years 8 months ago
Projective Rotations Applied to a Pan-Tilt Stereo Head
A non-metric pan-tilt stereo-head consists of a weakly calibrated stereo rig mounted on a pan-tilt mechanism. It is called non-metric since neither the kinematics of the mechanism...
Andreas Ruf, Radu Horaud