Sciweavers

4421 search results - page 221 / 885
» Libraries
Sort
View
110
Voted
DELOS
2004
15 years 3 months ago
Hyperdatabase Infrastructure for Management and Search of Multimedia Collections
Abstract. Nowadays, digital libraries are inherently dispersed over several peers of a steadily increasing network. Dedicated peers may provide specialized, computationally expensi...
Michael Mlivoncic, Christoph Schuler, Can Tür...
ENTCS
2007
107views more  ENTCS 2007»
15 years 1 months ago
Executable Grammars in Newspeak
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
Gilad Bracha
GRID
2007
Springer
15 years 1 months ago
Managing Large Scale Data for Earthquake Simulations
The Southern California Earthquake Center digital library publishes scientific data generated by seismic wave propagation simulations. The output from a single simulation may be as...
Marcio Faerman, Reagan Moore, Yifeng Cui, Yuanfang...
ENTCS
2000
60views more  ENTCS 2000»
15 years 1 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
JCC
2000
66views more  JCC 2000»
15 years 1 months ago
The molecular modeling toolkit: A new approach to molecular simulations
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
Konrad Hinsen