Sciweavers

1465 search results - page 7 / 293
» Making the Correct Mistakes
Sort
View
TPHOL
2003
IEEE
15 years 2 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters
TITS
2011
165views more  TITS 2011»
14 years 4 months ago
Analysis of Real-World Driver's Frustration
—This study investigates a method for estimating a driver’s spontaneous frustration in the real world. In line with a specific definition of emotion, the proposed method inte...
Lucas Malta, Chiyomi Miyajima, Norihide Kitaoka, K...
ALT
2008
Springer
15 years 6 months ago
Learning with Continuous Experts Using Drifting Games
We consider the problem of learning to predict as well as the best in a group of experts making continuous predictions. We assume the learning algorithm has prior knowledge of the ...
Indraneel Mukherjee, Robert E. Schapire
COLT
1999
Springer
15 years 1 months ago
Drifting Games
We consider the problem of learning to predict as well as the best in a group of experts making continuous predictions. We assume the learning algorithm has prior knowledge of the ...
Robert E. Schapire
ECCV
2006
Springer
15 years 11 months ago
Variational Motion Segmentation with Level Sets
We suggest a variational method for the joint estimation of optic flow and the segmentation of the image into regions of similar motion. It makes use of the level set framework fol...
Thomas Brox, Andrés Bruhn, Joachim Weickert