Sciweavers

5672 search results - page 1114 / 1135
» Design techniques for low-power systems
Sort
View
SIGMOD
2007
ACM
413views Database» more  SIGMOD 2007»
16 years 2 months ago
Effective keyword-based selection of relational databases
The wide popularity of free-and-easy keyword based searches over World Wide Web has fueled the demand for incorporating keyword-based search over structured databases. However, mo...
Bei Yu, Guoliang Li, Karen R. Sollins, Anthony K. ...
PODS
2004
ACM
148views Database» more  PODS 2004»
16 years 2 months ago
Deterministic Wavelet Thresholding for Maximum-Error Metrics
Several studies have demonstrated the effectiveness of the wavelet decomposition as a tool for reducing large amounts of data down to compact wavelet synopses that can be used to ...
Minos N. Garofalakis, Amit Kumar
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
15 years 10 months ago
A spectrally accurate integral equation solver for molecular surface electrostatics
Electrostatic analysis of complicated molecular surfaces arises in a number of nanotechnology applications including: biomolecule design, carbon nanotube simulation, and molecular...
Shih-Hsien Kuo, Jacob White
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
15 years 10 months ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke
CHI
2010
ACM
15 years 8 months ago
Touch projector: mobile interaction through video
In 1992, Tani et al. proposed remotely operating machines in a factory by manipulating a live video image on a computer screen. In this paper we revisit this metaphor and investig...
Sebastian Boring, Dominikus Baur, Andreas Butz, Se...
« Prev « First page 1114 / 1135 Last » Next »