1385 search results - page 195 / 277 » Natural Rewriting for General Term Rewriting Systems |
178
click to vote
AMC
2007
15 years 6 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...
143
click to vote
SAC
2008
ACM
15 years 5 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...
248
click to vote
DLS
2009
15 years 4 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 ...
174
click to vote
CHI
2011
ACM
14 years 10 months 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...
180
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
An important challenge in ubiquitous computing (ubicomp) is to create techniques that allow people to seamlessly and naturally connect to and interact with the increasing number o...