3031 search results - page 350 / 607 » Model Driven Testing Based on Test History |
135
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper, we rely on the theory of marked point processes to perform an unsupervised road network extraction from optical and radar images. A road network is modeled by a Mar...
130
Voted
ITP
2010
15 years 7 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
161
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Sparse representation theory has been increasingly used in the fields of signal processing and machine learning. The standard sparse models are not invariant to spatial transform...
132
click to vote
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
A new paradigm for the efficient color-based tracking of objects seen from a moving camera is presented. The proposed technique employs the mean shift analysis to derive the targe...
141
click to vote
ICML
2009
IEEE
15 years 10 months ago
2009
IEEE
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...