3724 search results - page 124 / 745 » Timed regular expressions |
160
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
123
click to vote
EH
2004
IEEE
15 years 8 months ago
2004
IEEE
Multi Expression Programming (MEP) is a Genetic Programming (GP) variant that uses linear chromosomes for solution encoding. A unique MEP feature is its ability of encoding multipl...
114
click to vote
FUIN
2007
15 years 4 months ago
2007
Two recent developments in the field of formal languages are Parsing Expression Grammar (PEG) and packrat parsing. The PEG formalism is similar to BNF, but defines syntax in ter...
118
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper we present two algorithms that automatically calculate linear expressions for Time Series. To estimate the maximum number of terms of the linear expression and the...
136
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...