Sciweavers

1054 search results - page 51 / 211
» Guarded Expressions in Practice
Sort
View
BMCBI
2006
99views more  BMCBI 2006»
13 years 11 months ago
A proposed metric for assessing the measurement quality of individual microarrays
Background: High-density microarray technology is increasingly applied to study gene expression levels on a large scale. Microarray experiments rely on several critical steps that...
Kyoungmi Kim, Grier P. Page, T. Mark Beasley, Step...
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
14 years 11 months ago
LiXQuery: a formal foundation for XQuery research
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
Jan Hidders, Philippe Michiels, Jan Paredaens, Roe...
ICDCS
2009
IEEE
14 years 8 months ago
Centaur: A Hybrid Approach for Reliable Policy-Based Routing
In this paper, we consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, we propose Ce...
Xin Zhang, Adrian Perrig, Hui Zhang
JAR
2007
90views more  JAR 2007»
13 years 11 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
JELIA
2004
Springer
14 years 4 months ago
Computing the Least Common Subsumer w.r.t. a Background Terminology
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan