9871 search results - page 89 / 1975 » On the Structure of Low Sets |
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
IPPS
1997
IEEE
14 years 1 months ago
1997
IEEE
We propose a distributed data structure for maintaining spatial data sets on message-passing, distributed memory machines. The data structure is based on orthogonal bisection tree...
BMCBI
2008
13 years 9 months ago
2008
Background: Amino acid sequence probability distributions, or profiles, have been used successfully to predict secondary structure and local structure in proteins. Profile models ...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
As wavelet-based image coding is set to become more widely used (e.g. with the completion of the JPEG2000 standard), memory efficiency for wavelet-based coding is becoming an incr...
BMVC
1998
13 years 10 months ago
1998
In images with low texture the performance of conventional dense stereo can be poor. The usual solution to this is to use a large window but this itself can be problematic as the ...