3378 search results - page 657 / 676 » A universe of binding and computation |
101
Voted
WOTUG
2007
15 years 1 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
102
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
96
Voted
SIGMOD
2010
ACM
15 years 23 days ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
AI
2010
Springer
15 years 21 days ago
2010
Springer
We consider the problem of finding an unknown graph by using two types of queries with an additive property. Given a graph, an additive query asks the number of edges in a set of ...
117
click to vote
AIEDU
2008
15 years 21 days ago
2008
The idea that teaching others is a powerful way to learn is intuitively compelling and supported in the research literature. We have developed computer-based, domain-independent Te...