3628 search results - page 321 / 726 » Approaching the Physical Limits of Computing |
246
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
202
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Voltage islanding technique in Network-on-Chip (NoC) can significantly reduce the computational energy consumption by scaling down the voltage levels of the processing elements (P...
191
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
Radial symmetry is an important perceptual cue for the feature-based representation, fixation, and description of large-scale data sets. A new approach based on iterative voting a...
203
Voted
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We present an approach for tracking varying number of objects through both temporally and spatially significant occlusions. Our method builds on the idea of object permanence to r...
204
Voted
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
16 years 4 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...