1090 search results - page 97 / 218 » Problem Dependent Generalized Prewavelets |
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Most decision tree algorithms base their splitting decisions on a piecewise constant model. Often these splitting algorithms are extrapolated to trees with non-constant models at ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...
DCC
2005
IEEE
14 years 9 months ago
2005
IEEE
We study the problem of the reconstruction of a Gaussian field defined in [0, 1] using N sensors deployed at regular intervals. The goal is to quantify the total data rate require...