5284 search results - page 622 / 1057 » Sampling search-engine results |
155
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...
180
click to vote
TAP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
204
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
As it has been noted several times in literature, the difficult part of autocalibration efforts resides in the structural non-linearity of the search for the plane at infinity. I...
191
click to vote
FOCS
2002
IEEE
15 years 12 months ago
2002
IEEE
We present the first explicit connection between quantum computation and lattice problems. Namely, our main result is a solution to the Unique Shortest Vector Problem (SVP) under ...
172
click to vote
ICPR
2002
IEEE
15 years 12 months ago
2002
IEEE
This article presents colposcopic image classification based on contour parameters used in a comparison study of different artificial neural networks and the knearest neighbors re...