6829 search results - page 1175 / 1366 » Quantitative Generalizations of Languages |
143
click to vote
IUI
2011
ACM
14 years 6 months ago
2011
ACM
This paper describes an approach to allow end users to define new procedures through tutorial instruction. Our approach allows users to specify procedures in natural language in t...
255
click to vote
JCDL
2011
ACM
14 years 6 months ago
2011
ACM
Various approaches for plagiarism detection exist. All are based on more or less sophisticated text analysis methods such as string matching, fingerprinting or style comparison. I...
168
click to vote
KCAP
2011
ACM
14 years 6 months ago
2011
ACM
With billions of assertions and counting, the Web of Data represents the largest multi-contributor interlinked knowledge base that ever existed. We present a novel framework for a...
169
click to vote
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
146
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...