4013 search results - page 378 / 803 » computer 2002 |
118
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
-- This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power r...
157
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...
144
click to vote
FOCM
2002
15 years 6 months ago
2002
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...
143
click to vote
MST
2002
15 years 6 months ago
2002
Programmed mutagenesis is a DNA computing system that uses cycles of DNA annealing, ligation, and polymerization to implement programatic rewriting of DNA sequences. We report that...
158
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This paper borrows ideas from social science to inform the design of novel "sensing" user-interfaces for computing technology. Specifically, we present five design chall...