13383 search results - page 2594 / 2677 » Abstractions from proofs |
134
Voted
SDM
2004
SIAM
15 years 4 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
145
click to vote
IM
2003
15 years 4 months ago
2003
: Monitoring is a fundamental building block of any network management system. It is needed to ensure that the network operates within the required parameters, and to account for u...
120
Voted
WSPI
2004
15 years 4 months ago
2004
Abstract. I introduce the notion of knowledge relativity as a proposed conceptual link between different scientific disciplines. Examples from Informatics and Philosophy, particula...
123
click to vote
WSPI
2004
15 years 4 months ago
2004
Abstract. The fields of philosophy and informatics entertain two somewhat different conceptions of ontology. Philosophical ontology is a branch of metaphysics dating back at least ...
144
click to vote
PSSS
2003
15 years 4 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...