1438 search results - page 35 / 288 » An Expressive Extension of TLC |
KDD
2003
ACM
14 years 11 months ago
2003
ACM
Discovering coherent gene expression patterns in time-series gene expression data is an important task in bioinformatics research and biomedical applications. In this paper, we pr...
FGR
2006
IEEE
14 years 5 months ago
2006
IEEE
Traditionally, human facial expressions have been studied using either 2D static images or 2D video sequences. The 2D-based analysis is incapable of handing large pose variations....
BIOCOMP
2009
14 years 2 days ago
2009
- With the lowering cost and the increasing discoveries, genomics research filed has materialized personal genome era. Especially, microarray gene expression platform has already m...
ICTAC
2007
Springer
14 years 5 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
ISOLA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...