Sciweavers

3591 search results - page 305 / 719
» Typing linear constraints
Sort
View
211
Voted
HASKELL
2008
ACM
15 years 8 months ago
Lightweight monadic regions
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
Oleg Kiselyov, Chung-chieh Shan
209
Voted
ICCV
2009
IEEE
1234views Computer Vision» more  ICCV 2009»
17 years 13 days ago
Human Pose Estimation Using Consistent Max-Covering
We propose a novel consistent max-covering scheme for human pose estimation. Consistent max-covering formulates pose estimation as the covering of body part polygons on an objec...
Hao Jiang
CVPR
2005
IEEE
16 years 9 months ago
Accurate and Efficient Stereo Processing by Semi-Global Matching and Mutual Information
This paper considers the objectives of accurate stereo matching, especially at object boundaries, robustness against recording or illumination changes and efficiency of the calcul...
Heiko Hirschmüller
224
Voted
ICML
2005
IEEE
16 years 8 months ago
Building Sparse Large Margin Classifiers
This paper presents an approach to build Sparse Large Margin Classifiers (SLMC) by adding one more constraint to the standard Support Vector Machine (SVM) training problem. The ad...
Bernhard Schölkopf, Gökhan H. Bakir, Min...
222
Voted
ISBI
2004
IEEE
16 years 8 months ago
Multi-Modal Non-Rigid Registration Using a Stochastic Gradient Approximation
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...
Aloys du Bois d'Aische, Benoît Macq, Florian...