11231 search results - page 81 / 2247 » Digging for Data Structures |
SSPR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present a symbols recognition system for graphic documents, based on a combination of global structural approaches. Our system allows to extract components and the...
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
108
click to vote
COSIT
1997
Springer
15 years 3 months ago
1997
Springer
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
WABI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
We present a case study to demonstrate the possibility of discovering complex and interesting latent structures using hierarchical latent class (HLC) models. A similar effort was m...