1071 search results - page 133 / 215 » Protein structure search and local structure characterizatio... |
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper active feature models are proposed. They utilize local texture features and a statistical shape model for the reliable localization of landmarks in images. They are ...
EVOW
2009
Springer
15 years 2 months ago
2009
Springer
This paper deals with the generation of balanced incomplete block designs (BIBD), a hard constrained combinatorial problem with multiple applications. This problem is here formulat...
ERCIMDL
2006
Springer
15 years 1 months ago
2006
Springer
Peer-to-peer networks have been identified as promising architectural concept for developing search scenarios across digital library collections. Digital libraries typically offer ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The organization and mining of malaria genomic and post-genomic data is important to significantly increase the knowledge of the biology of its causative agents, and is motivated,...