1056 search results - page 205 / 212 » Representation and Self-Similarity of Shapes |
81
Voted
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
114
click to vote
DAGM
2003
Springer
15 years 2 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
ICARCV
2002
IEEE
15 years 2 months ago
2002
IEEE
The focus of this work is on the problem of feature selection and classification for on-road vehicle detection. In particular, we propose using quantized Haar wavelet features an...
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
We present a novel stereo vision modeling framework that generates approximate, yet physically-plausible representations of objects rather than creating accurate models that are c...