7167 search results - page 165 / 1434 » A Technique for Invariant Generation |
184
click to vote
WABI
2005
Springer
16 years 17 days ago
2005
Springer
We give a new algorithm for the genotype phasing problem. Our solution is based on a hidden Markov model for haplotypes. The model has a uniform structure, unlike most solutions pr...
198
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...
202
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Excessive switching activity during scan testing can cause average power dissipation and peak power during test to be much higher than during normal operation. This can cause prob...
213
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
Exploiting locality at run-time is a complementary approach to a compiler approach for those applications with dynamic memory access patterns. This paper proposes a memory-layout ...
223
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
Fundamental to the generation of 3D audio is the HRTF processing of acoustical signals. Unfortunately, given the high dimensionality of HRTFs, incorporating them into dynamic/inte...