Sciweavers

2830 search results - page 14 / 566
» No Science without Semantics
Sort
View

Book
1902views
15 years 6 months ago
Topology Without Tears
This is beautifully written book on topology. Author has motivated the subject very nicely with lot of examples. The book covers the following topics: Topology Spaces, The Euclidea...
SIDNEY A. MORRIS
CCGRID
2005
IEEE
14 years 1 months ago
Implementing MPI-IO atomic mode without file system support
The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These different targets va...
Robert B. Ross, Robert Latham, William Gropp, Raje...
CORR
2010
Springer
71views Education» more  CORR 2010»
13 years 7 months ago
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
Daniel de Carvalho, Lorenzo Tortora de Falco
DOLAP
2008
ACM
13 years 9 months ago
Bridging the semantic gap in OLAP models: platform-independent queries
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
Jesús Pardillo, Jose-Norberto Mazón,...
OTM
2005
Springer
14 years 1 months ago
Life Science Grid Middleware in a More Dynamic Environment
This paper proposes a model for integrating a higher level Semantic Grid Middleware with Web Service Resource Framework (WSRF) that extends the prototype presented in [1] informed ...
Milena Radenkovic, Bartosz Wietrzyk