7393 search results - page 1296 / 1479 » Synthesis-for-testability using transformations |
157
click to vote
MST
2002
15 years 3 months ago
2002
Abstract. Blockwise access to data is a central theme in the design of efficient external memory (EM) algorithms. A second important issue, when more than one disk is present, is f...
106
Voted
NPL
1998
15 years 3 months ago
1998
Abstract. Incremental learning of sensorimotor transformations in high dimensional spaces is one of the basic prerequisites for the success of autonomous robot devices as well as b...
148
Voted
PAMI
1998
15 years 3 months ago
1998
—We present ordinal measures of association for image correspondence in the context of stereo. Linear correspondence measures like correlation and the sum of squared difference b...
134
Voted
TIT
1998
15 years 3 months ago
1998
Abstract— Properties of the ambiguity function and the uncertainty relation of Fourier transforms assert fundamental limitations on the ability of any single radar waveform of co...
117
Voted
SLOGICA
2002
15 years 3 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...