1313 search results - page 170 / 263 » The Inference Based on Molecular Computing |
CC
2007
Springer
15 years 5 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
105
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
EMMCVPR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
86
Voted
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an algorithm for automatic locating of anthropometric landmarks on 3D human scans. Our method is based on learning landmark characteristics and the spatial relationship...
112
Voted
CIG
2005
IEEE
15 years 5 months ago
2005
IEEE
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...