1696 search results - page 282 / 340 » Permuted function matching |
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
We present practical parallel algorithms using prefix computations for various problems that arise in pairwise comparison of biological sequences. We consider both constant and af...
ICRA
1998
IEEE
15 years 2 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...
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
VTS
1997
IEEE
15 years 2 months ago
1997
IEEE
Despite all of the advantages that circular BIST ofsers compared to conventional BIST approaches in terms of low area overhead, simple control logic, and easy insertion, it has se...
SIGCOMM
1997
ACM
15 years 2 months ago
1997
ACM
— Measurement-based admission control (MBAC) is an attractive mechanism to concurrently offer quality of service (QoS) to users, without requiring a priori traffic specificatio...