4421 search results - page 49 / 885 » Libraries |
119
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
SIGMOD
2001
ACM
16 years 1 months ago
2001
ACM
There is currently considerable interest in developing multimedia digital libraries. However, it has become clear that existing architectures for management systems do not support...
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
140
click to vote
ICADL
2007
Springer
15 years 7 months ago
2007
Springer
Digital libraries have untapped potential for supporting language teaching and learning. This paper describes a new scheme for automating topicspecific language learning using a sp...
117
click to vote
JCDL
2005
ACM
15 years 7 months ago
2005
ACM
The University of California, Berkeley and the University of Liverpool are developing a Information Retrieval and Digital Library system (Cheshire3) that operates in both singlepr...