1385 search results - page 165 / 277 » Natural Rewriting for General Term Rewriting Systems |
184
click to vote
MM
2006
ACM
16 years 13 days ago
2006
ACM
Personal media collections are often viewed and managed along the social dimension, the places we spend time at and the people we see, thus tools for extracting and using this inf...
198
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
159
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The problem of task assignment naturally arises in multiagent multitask systems, where an optimal matching of agents and tasks is sought. This problem is a combinatorial optimizati...
310
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
165
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...