1890 search results - page 132 / 378 » Model-Based Testing in Practice |
197
click to vote
SIES
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
148
click to vote
VL
2007
IEEE
16 years 18 days ago
2007
IEEE
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
196
click to vote
ICMCS
2006
IEEE
16 years 11 days ago
2006
IEEE
The study proposes a novel scheme to extract and recognize the caption contents of various sports captions. A caption extraction process based on an iteratively temporal averaging...
164
click to vote
IWANN
2005
Springer
15 years 12 months ago
2005
Springer
Prediction of time series is an important problem in many areas of science and engineering. Extending the horizon of predictions further to the future is the challenging and diffic...
142
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...