592 search results - page 14 / 119 » CTL Model Update: Semantics, Computations and Implementation |
SKG
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
ICLP
2009
Springer
14 years 3 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
HPCC
2009
Springer
14 years 1 months ago
2009
Springer
—In this paper we present C2Cfs - a decentralized collective caching architecture for distributed filesystems. C2Cfs diverges from the traditional client-server model and advoca...
RECOMB
2006
Springer
14 years 9 months ago
2006
Springer
We present a model for predicting HLA class I restricted CTL epitopes. In contrast to almost all other work in this area, we train a single model on epitopes from all HLA alleles a...
ISPA
2005
Springer
14 years 2 months ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...