3747 search results - page 358 / 750 » Active Operations on Collections |
192
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a method for real-time 3D hand tracking in images acquired by a calibrated, possibly moving stereoscopic rig. The proposed method consists of a collection of t...
147
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Spacecraft increasingly employ onboard data analysis to inform further data collection and prioritization decisions. However, many spacecraft operate in high-radiation environment...
163
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We describe a causal learning method, which employs measuring the strength of statistical dependences in terms of the Hilbert-Schmidt norm of kernel-based cross-covariance operato...
172
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
255
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...