523 search results - page 31 / 105 » Hierarchical Mixture Models for Nested Data Structures |
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Identifying functionally important sites from biological sequences, formulated as a biological sequence labeling problem, has broad applications ranging from rational drug design ...
POPL
2000
ACM
14 years 2 days ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
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...
TVCG
1998
13 years 8 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Inferring both 3D structure and motion of nonrigid objects from monocular images is an important problem in computational vision. The challenges stem not only from the absence of ...