2642 search results - page 268 / 529 » The development of Chez Scheme |
195
click to vote
CVIU
2007
15 years 6 months ago
2007
In this paper, we present an approach toward pedestrian detection and tracking from infrared imagery using joint shape and appearance cues. A layered representation is first intr...
164
click to vote
JCM
2006
15 years 6 months ago
2006
Recent FCC proceedings have considered the notion of unlicensed device operation in licensed bands. Licensed users are concerned about harmful interference while unlicensed device ...
173
click to vote
JMIV
2006
15 years 6 months ago
2006
We propose a new method for the Lambertian Shape From Shading (SFS) problem based on the notion of Crandall-Lions viscosity solution. This method has the advantage of requiring the...
151
click to vote
JPDC
2006
15 years 6 months ago
2006
The vulnerability of computer nodes due to component failures is a critical issue for cluster-based file systems. This paper studies the development and deployment of mirroring in...
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....