4421 search results - page 476 / 885 » Libraries |
133
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...
139
click to vote
DIAL
2006
IEEE
15 years 8 months ago
2006
IEEE
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...
134
click to vote
ELPUB
2006
ACM
15 years 8 months ago
2006
ACM
The recent journal price increases and state-wide budget cuts have forced librarians at the University of Maryland (UMD) to make outright cancellations to journals. The implementa...
114
Voted
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
We present the results of a feasibility study using shared, existing, network-accessible infrastructure for repository replication. We utilize the SMTP and NNTP protocols to replic...
156
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...