Sciweavers

67 search results - page 11 / 14
» DL-Lite and Role Inclusions
Sort
View
COMBINATORICS
2007
64views more  COMBINATORICS 2007»
13 years 9 months ago
An Analogue of the Thue-Morse Sequence
We consider the finite binary words Z(n), n ∈ N, defined by the following selfsimilar process: Z(0) := 0, Z(1) := 01, and Z(n + 1) := Z(n) · Z(n − 1), where the dot · deno...
Emmanuel Ferrand
LMCS
2006
79views more  LMCS 2006»
13 years 9 months ago
Computably Based Locally Compact Spaces
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
Paul Taylor 0002
JLP
2007
159views more  JLP 2007»
13 years 9 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
OIR
2008
87views more  OIR 2008»
13 years 9 months ago
E-science and information services: a missing link in the context of digital libraries
: Purpose: This paper analysis if and how far Library and Information Services (LIS) are supporting E-Science and Grid-Computing projects funded by authorities in the EU and German...
Achim Osswald
NAR
2011
258views Computer Vision» more  NAR 2011»
13 years 19 days ago
The RNA modification database, RNAMDB: 2011 update
Since its inception in 1994, The RNA Modification Database (RNAMDB, http://rna-mdb.cas.albany. edu/RNAmods/) has served as a focal point for information pertaining to naturally oc...
William A. Cantara, Pamela F. Crain, Jef Rozenski,...