3061 search results - page 219 / 613 » integration 2006 |
138
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper proposes a new approach to track a human head in 3-D voxel space. Information of both color and distance is obtained from multiple stereo cameras and integrated in 3-D ...
165
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We present tight surrogate regret bounds for the class of proper (i.e., Fisher consistent) losses. The bounds generalise the margin-based bounds due to Bartlett et al. (2006). The...
141
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose efficient particle smoothing methods for generalized state-spaces models. Particle smoothing is an expensive O(N2 ) algorithm, where N is the number of particles. We ov...
258
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe a case study of Universal Design applied to mobile phone physical devices. Using a user-centered design process, we tried to integrate visually-impaired,...
130
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...