18090 search results - page 612 / 3618 » Computing by Only Observing |
189
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
183
click to vote
JIIS
2008
15 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
219
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Vision-based prop-free pointing detection is challenging both from an algorithmic and a systems standpoint. From a computer vision perspective, accurately determining wh...
216
click to vote
MOBISYS
2011
ACM
14 years 10 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...
182
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
In this paper we show that given two homography matrices for two planes in space, there is a linear algorithm for the rotation and translation between the two cameras, the focal l...