753 search results - page 32 / 151 » Completing a (k - 1)-Assignment |
ICCV
1998
IEEE
15 years 2 months ago
1998
IEEE
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
VLDB
1992
ACM
15 years 1 months ago
1992
ACM
For the conventional relational model there has been considerable research in the area of incomplete information. On the other hand, research in temporal databases has concentrated...
CPM
2007
Springer
15 years 1 months ago
2007
Springer
Move-to-Front, Distance Coding and Inversion Frequencies are three simple and effective techniques used to process the output of the Burrows-Wheeler Transform. In this paper we pr...
122
click to vote
HERCMA
2001
14 years 11 months ago
2001
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...