7393 search results - page 1293 / 1479 » Synthesis-for-testability using transformations |
121
Voted
DM
2000
15 years 3 months ago
2000
The transformation which assigns to a linear operator L the recurrence satisfied by coefficient sequences of the polynomial series in its kernel, is shown to be an isomorphism of ...
157
Voted
CSCW
2002
ACM
15 years 3 months ago
2002
ACM
We describe a real-time 3-D augmented reality videoconferencing system. With this technology, an observer sees the real world from his viewpoint, but modified so that the image of...
114
Voted
FGCS
2000
15 years 3 months ago
2000
This paper focuses on parallel query optimization. We consider the operator problem and introduce a new class of execution strategies called Linear-Oriented Bushy Trees (LBTs). Co...
128
Voted
IJCV
2000
15 years 3 months ago
2000
We investigate the properties of a metric between two distributions, the Earth Mover's Distance (EMD), for content-based image retrieval. The EMD is based on the minimal cost ...
120
Voted
INFSOF
2000
15 years 3 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...