1992 search results - page 124 / 399 » Model Based Testing with Labelled Transition Systems |
133
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
138
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Discriminative methods for visual object category recognition are typically non-probabilistic, predicting class labels but not directly providing an estimate of uncertainty. Gauss...
ISMIR
2003
Springer
15 years 8 months ago
2003
Springer
Systems for sound retrieval are usually “sourcecentred”. This means that retrieval is based on using the proper keywords that define or specify a sound source. Although this t...
153
click to vote
ENASE
2009
15 years 1 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
111
click to vote
CCE
2004
15 years 3 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...