543 search results - page 60 / 109 » A Theory of Plan Modification |
142
click to vote
PEPM
2007
ACM
16 years 8 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
167
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Data collections often have inconsistencies that arise due to a variety of reasons, and it is desirable to be able to identify and resolve them efficiently. Set similarity queries ...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Automatically generated HTML, as produced by WYSIWYG programs, typically contains much repetitive and unnecessary markup. This paper identifies aspects of such HTML that may be al...
177
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
When camera phones are used as magic lenses in handheld augmented reality applications involving wall maps or posters, pointing can be divided into two phases: (1) an initial coar...