1036 search results - page 125 / 208 » Natural Narrowing for General Term Rewriting Systems |
AMC
2007
13 years 9 months ago
2007
The surface estimation problem is used as a model to demonstrate a framework for solving early vision problems by high-order regularization with natural boundary conditions. Becaus...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
How humans behave when faced with a disaster, natural or man-made, can be exploited automatically by news-aware malicious software. We introduce weather worms, worms that can auto...
DLS
2009
13 years 6 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
ASPLOS
2011
ACM
13 years 18 days ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
CHI
2011
ACM
13 years 17 days ago
2011
ACM
A lot of people still rely on pen and paper for taking short notes. Post-Its® are still the most popular paper media for informal note taking. In this paper, we present the desig...