334 search results - page 18 / 67 » Timed Property Sequence Chart |
BIBM
2007
IEEE
13 years 11 months ago
2007
IEEE
Chewing is an essential part of food intake. The analysis and detection of food patterns is an important component of an automatic dietary monitoring system. However chewing is a t...
FATES
2003
Springer
14 years 19 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
MST
2010
13 years 5 months ago
2010
Abstract. We investigate the effect of linear independence in the strategies of congestion games on the convergence time of best improvement sequences and on the pure Price of Anar...
ISORC
1999
IEEE
13 years 11 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
CPAIOR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The multileaf collimator sequencing problem is an important component of the effective delivery of intensity modulated radiotherapy used in the treatment of cancer. The p...