4767 search results - page 664 / 954 » Structures for Abstract Rewriting |
96
Voted
ICFP
2007
ACM
16 years 23 days ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
115
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
124
Voted
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
110
Voted
ICDE
2010
IEEE
16 years 17 days ago
2010
IEEE
Abstract-- This work presents a novel index structure, MHRtree, for efficiently answering approximate string match queries in large spatial databases. The MHR-tree is based on the ...
100
click to vote
PERCOM
2003
ACM
16 years 12 days ago
2003
ACM
Abstract. We present our results of the conceptual design and the implementation of ubiquitous computing applications using smart identification technologies. First, we describe su...