3377 search results - page 381 / 676 » Spatial computation |
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
ICCS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A data-adaptive approach for cDNA microarray image enhancement is presented. Through the weighting coefficients adaptively determined from local microarray image statisti...
ICCS
2005
Springer
14 years 4 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
ICNC
2005
Springer
14 years 4 months ago
2005
Springer
The problem of automatic classification of ultrasound images is addressed. For texture analysis of ultrasound images quantifiable indexes, called features, are used. Classificat...
ISVC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Most character motion capture data does not contain secondary motions like detailed hand motion, therefore the resultant animation looks unnatural due to the stiffness of...