5090 search results - page 484 / 1018 » Constructing Strategies for Programming |
183
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
153
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
193
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
178
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
191
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...