2956 search results - page 107 / 592 » Databases and Higher Types |
BMCBI
2007
14 years 10 months ago
2007
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
IEEEMM
2002
14 years 9 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
JAPLL
2006
14 years 10 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
106
click to vote
PARCO
1997
14 years 11 months ago
1997
During the last decade, all commercial database systems have included features for parallel processing into their products. This development has been driven by the fact that datab...