1992 search results - page 145 / 399 » Model Based Testing with Labelled Transition Systems |
124
Voted
JASIS
2010
15 years 1 months ago
2010
Ranking information retrieval (IR) systems with respect to their effectiveness is a crucial operation during IR evaluation, as well as during data fusion. This paper offers a no...
123
Voted
JCC
2008
15 years 3 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
127
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
122
click to vote
FGR
2008
IEEE
15 years 5 months ago
2008
IEEE
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
126
click to vote
IJCV
2008
15 years 3 months ago
2008
Abstract A fully automatic initialization approach for 3Dmodel-based vehicle tracking has been developed, based on Edge-Element and Optical-Flow association. An entire automatic in...