2252 search results - page 79 / 451 » Regular expression patterns |
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
ACTA
2010
13 years 10 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
BIRD
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We analyse data from the Edinburgh Mouse Atlas GeneExpression Database (EMAGE) which is a high quality data source for spatio-temporal gene expression patterns. Using a n...
JMLR
2012
12 years 15 days ago
2012
To relax the homogeneity assumption of classical dynamic Bayesian networks (DBNs), various recent studies have combined DBNs with multiple changepoint processes. The underlying as...
MVA
1990
13 years 11 months ago
1990
This report discusses a method that uses optical flow to estimate facial muscle movements which could then be recognized these movements as facial expressions. The. human face has...