8431 search results - page 1346 / 1687 » Algorithmically Independent Sequences |
175
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
With the emergence of fast and standardized communication infrastructures over which separately designed agents of different organizations can interact in real-time, there is an i...
185
click to vote
ICVS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
167
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we introduce two methods for the registration of multiple range images when a prior estimate of the transformationbetween views is not available and the overlap bet...
153
click to vote
SPAA
1998
ACM
15 years 11 months ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
298
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...