3724 search results - page 239 / 745 » Timed regular expressions |
157
click to vote
RSA
2000
15 years 5 months ago
2000
A succinct series expression is derived for describing the limit distribution of the number of times r consecutive elements are all records (in a sequence of independent and ident...
132
click to vote
MM
2006
ACM
15 years 12 months ago
2006
ACM
We describe 3WNews as a novel system for browsing news video by the people (who) and locations (where) appearing in the footage as well as the time (when) of news events. The peop...
188
click to vote
SDL
2001
15 years 7 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
150
click to vote
IANDC
2010
15 years 3 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
184
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We analyze the Synchrosqueezing transform, a consistent and invertible time-frequency analysis tool that can identify and extract oscillating components (of time-varying frequency...