140 search results - page 23 / 28 » What is a library OPAC |
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
SC
2009
ACM
14 years 2 months ago
2009
ACM
Reconfigurable computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such syste...
RECSYS
2009
ACM
14 years 2 months ago
2009
ACM
Short search engine queries do not provide contextual information, making it difficult for traditional search engines to understand what users are really requesting. One approach ...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the Query Parsing task of GeoCLEF 2007. Our system is composed of three main modules. First, the Named Geo...
HPCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...