4463 search results - page 647 / 893 » computer 2000 |
165
click to vote
HUMO
2000
Springer
15 years 8 months ago
2000
Springer
We present an approach for recovering articulated body pose from single monocular images using the Specialized Mappings Architecture (SMA), a non-linear supervised learning archit...
157
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
145
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
We present a very simple and effective method for eliminating the degeneracy inherent in a planar scene, and demonstrate its performance in a useful application -- that of binocul...
125
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
Anomaly detection is a key element of intrusiondetection and other detection systems in which perturbations of normal behavior suggest the presence of intentionally or unintention...
125
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Time skewing is a compile-time optimization that can provide arbitrarily high cache hit rates for a class of iterative calculations, given a sufficient number of time steps and s...