3724 search results - page 174 / 745 » Timed regular expressions |
126
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
- For modeling of change of terminal server load, the approach including representation of time series of server parameters in the form of fuzzy time series is used. Further in the...
133
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—We obtain detailed analytic formulas for the density and probability distribution of the waiting time in a time-division multiple-access (TDMA) model with a finite buffer and s...
125
Voted
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
116
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
127
click to vote
ACL
2008
15 years 6 months ago
2008
Many applications in NLP, such as questionanswering and summarization, either require or would greatly benefit from the knowledge of when an event occurred. Creating an effective ...