4421 search results - page 118 / 885 » Libraries |
111
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
109
click to vote
ICARCV
2002
IEEE
15 years 6 months ago
2002
IEEE
This papers presents CIRES, a new online system for content-based retrieval in digital image libraries. Contentbased image retrieval systems have traditionally used color and text...
107
click to vote
COCOA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Pooling design is an important research topic in bioinformatics due to its wide applications in molecular biology, especially DNA library screening. In this paper, with u...
110
click to vote
ADAEUROPE
2001
Springer
15 years 6 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
101
click to vote
FPL
2001
Springer
15 years 6 months ago
2001
Springer
The Generic Library for Adaptive Computing Environments (GLACE) consists of a comprehensive set of module generators currently targeting Xilinx XC4000 and Virtex devices. In contra...