1974 search results - page 156 / 395 » A Library System for Small-Scale Library |
CORR
2004
Springer
15 years 1 months ago
2004
Springer
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...
106
click to vote
SIGIR
2002
ACM
15 years 1 months ago
2002
ACM
This poster session examines a probabilistic approach to distributed information retrieval using a Logistic Regression algorithm for estimation of collection relevance. The algori...
81
Voted
COLING
2010
14 years 9 months ago
2010
We present a library of implemented HPSG analyses for argument optionality based on typological studies of this phenomenon in the world's languages, developed in the context ...
110
click to vote
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
115
click to vote
IISWC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— The Intel Threading Building Blocks (TBB) runtime library [1] is a popular C++ parallelization environment [2][3] that offers a set of methods and templates for creatin...