2994 search results - page 132 / 599 » Time sequences |
111
Voted
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
90
Voted
CATS
2007
15 years 2 months ago
2007
Financial derivatives are contracts concerning rights and obligations to engage in future transactions on some underlying financial instrument. A major concern in financial mark...
125
Voted
GCB
2003
Springer
15 years 6 months ago
2003
Springer
Clustering of EST data is a method for the non-redundant representation of an organisms transcriptome. During clustering of large amounts of EST data, usually some large clusters ...
90
Voted
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes a method for period-based gait trajectory matching in the eigenspace using phase synchronization for low frame-rate videos. First, a gait period is detected by ...
117
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...