1413 search results - page 160 / 283 » Bisimilarity of Open Terms |
142
click to vote
HASKELL
2005
ACM
16 years 3 days ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
165
click to vote
ITICSE
2005
ACM
16 years 3 days ago
2005
ACM
Established as a research project at the University of Illinois in the spring of 2002, eFuzion has proven to be a valuable and effective pedagogical set of tools. It provides the ...
168
click to vote
IUI
2005
ACM
16 years 3 days ago
2005
ACM
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...
176
click to vote
JCDL
2005
ACM
16 years 3 days ago
2005
ACM
As an increasing number of digital library projects embrace the harvesting of item-level descriptive metadata, issues of description granularity and concerns about potential loss ...
141
click to vote
JCDL
2005
ACM
16 years 3 days ago
2005
ACM
In this article we present an evaluation of text clustering and classification methods for creating digital library browse interfaces, focusing on the particular case of collecti...