8486 search results - page 408 / 1698 » Ordered Enumeration Method |
221
click to vote
AAECC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
219
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
In order to achieve seamless imagery in a planar multiprojector display, geometric distortions and misalignment of images within and across projectors have to be removed. Camera-b...
227
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
In this paper, we introduce a tuned eigenspace technique so as to classify human motion. The method presented here overcomes those problems related to articulated motion and dress...
159
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
Conventional clustering methods typically assume that each data item belongs to a single cluster. This assumption does not hold in general. In order to overcome this limitation, w...
203
click to vote
KDD
2008
ACM
16 years 8 months ago
2008
ACM
We propose a family of novel cost-sensitive boosting methods for multi-class classification by applying the theory of gradient boosting to p-norm based cost functionals. We establ...