740 search results - page 115 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
116
click to vote
JAT
2010
14 years 11 months ago
2010
We consider H¨older smoothness classes of surfaces for which we construct piecewise polynomial approximation networks, which are graphs with polynomial pieces as nodes and edges ...
120
click to vote
CHI
2003
ACM
16 years 1 months ago
2003
ACM
We describe a new methodology for designing technologies for and with families called technology probes. Technology probes are simple, flexible, adaptable technologies introduced ...
119
Voted
CHI
1997
ACM
15 years 5 months ago
1997
ACM
Recent work in computer input control has sought to maximize the use of the fingers in the operation of computer pointing devices. The main rationale is the hypothesis that the m...
116
click to vote
ACMACE
2009
ACM
15 years 5 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...