3552 search results - page 694 / 711 » Proof theory in the abstract |
120
click to vote
ASAP
2003
IEEE
15 years 7 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
112
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— Standard embeded sensor nework models emphasize energy efficiency and distributed decision-making by considering untethered and unattended sensors. To this we add two ...
123
click to vote
AWIC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract Search engines, with Google at the top, have many remarkable capabilities. But what is not among them is the deduction capability—the capability to synthesize an answer ...
126
Voted
COMPGEOM
2010
ACM
15 years 7 months ago
2010
ACM
d Abstract] György Elekes Eötvös University Micha Sharir Tel Aviv University and New York University We first describe a reduction from the problem of lower-bounding the numbe...
110
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...