1385 search results - page 188 / 277 » Natural Rewriting for General Term Rewriting Systems |
166
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Teaching (and therefore learning) eXtreme Programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-ha...
160
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
In recent years the Olympic Games have undergone vast criticism due to perceived subjective scoring in judged events, as for example figure skating and gymnastics. Judges' sc...
292
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
A large number of online databases are hidden behind the web. Users to these systems can form queries through web forms to retrieve a small sample of the database. Sampling such h...
261
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
252
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...