Sciweavers

2409 search results - page 106 / 482
» On Extended Regular Expressions
Sort
View
117
Voted
RECOMB
2009
Springer
16 years 5 months ago
Evaluating Between-Pathway Models with Expression Data
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...
Benjamin J. Hescott, Mark D. M. Leiserson, Lenore ...
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
15 years 10 months ago
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
Sophie Pinchinat
ICCV
1995
IEEE
15 years 8 months ago
Determining Facial Expressions in Real-Time
In this paper we suggest an approach to describing and tracking the deformation of facial features. We concentrate on the mouth since its shape is important in detecting emotion, ...
Yael Moses, David Reynard, Andrew Blake
ITA
2006
167views Communications» more  ITA 2006»
15 years 4 months ago
Characterization of lung tumor subtypes through gene expression cluster validity assessment
The problem of assessing the reliability of clusters patients identified by clustering algorithms is crucial to estimate the significance of subclasses of diseases detectable at b...
Giorgio Valentini, Francesca Ruffino
FUIN
2010
83views more  FUIN 2010»
15 years 1 months ago
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
Vince Bárány, Lukasz Kaiser, Alexand...