265 search results - page 22 / 53 » On the Intersection of XPath Expressions |
BMCBI
2008
13 years 8 months ago
2008
Background: Significance analysis at single gene level may suffer from the limited number of samples and experimental noise that can severely limit the power of the chosen statist...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
In a publish-subscribe system based on filtering of XML documents, subscribers specify their interests with profiles expressed in the XPath language. The system processes a stre...
ICFP
2000
ACM
14 years 25 days ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper we consider the problem of inducing a transition in a controlled quantum mechanical system whose spectrum loses simplicity for some values of the control. We study th...
ENTCS
2002
13 years 8 months ago
2002
We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assign...