2409 search results - page 446 / 482 » On Extended Regular Expressions |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
BMCBI
2007
14 years 10 months ago
2007
Background: Natural antisense transcripts (NATs) are endogenous RNA molecules that exhibit partial or complete complementarity to other RNAs, and that may contribute to the regula...
BMCBI
2007
14 years 10 months ago
2007
Background: Gene-set analysis evaluates the expression of biological pathways, or a priori defined gene sets, rather than that of individual genes, in association with a binary ph...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Many computer vision tasks may be expressed as the problem of learning a mapping between image space and a parameter space. For example, in human body pose estimation, recent rese...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Various problems in Computer Vision become difficult due to a strong influence of lighting on the images of an object. Recent work showed analytically that the set of all images of...