Sciweavers

5896 search results - page 571 / 1180
» On Learning with Integral Operators
Sort
View
SENSYS
2006
ACM
16 years 1 months ago
A self-calibrating distributed acoustic sensing platform
We will demonstrate the operation of the Acoustic Embedded Networked Sensing Box (ENSBox), a platform for prototyping rapid-deployable distributed acoustic sensing systems. The EN...
Lewis Girod, Martin Lukac, Vlad Trifa, Deborah Est...
GLVLSI
2005
IEEE
125views VLSI» more  GLVLSI 2005»
16 years 21 days ago
Low-power circuits using dynamic threshold devices
We present simulations for ultra-thin body, fully-depleted, double-gate (DG) silicon-on-insulator (SOI) devices that can be readily optimized for both static power loss and perfor...
Paul Beckett
GI
2005
Springer
16 years 18 days ago
Model-Based Requirements Engineering with AutoRAID
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
Bernhard Schätz, Andreas Fleischmann, Eva Gei...
JELIA
2004
Springer
16 years 13 days ago
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
VLDB
2004
ACM
102views Database» more  VLDB 2004»
16 years 13 days ago
PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS
PIVOT and UNPIVOT, two operators on tabular data that exchange rows and columns, enable data transformations useful in data modeling, data analysis, and data presentation. They ca...
Conor Cunningham, Goetz Graefe, César A. Ga...