Sciweavers

735 search results - page 71 / 147
» Procedural Modeling of Interconnected Structures
Sort
View
ICPR
2000
IEEE
14 years 10 months ago
Constructing Finite State Machines for Fast Gesture Recognition
This paper proposes an approach to 2D gesture recognition that models each gesture as a Finite State Machine (FSM) in spatial-temporal space. The model construction works in a sem...
Pengyu Hong, Thomas S. Huang, Matthew Turk
TMI
2002
248views more  TMI 2002»
13 years 8 months ago
Adaptive Elastic Segmentation of Brain MRI via Shape Model Guided Evolutionary Programming
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
Alain Pitiot, Arthur W. Toga, Paul M. Thompson
ISBI
2007
IEEE
14 years 3 months ago
Grafip: A Framework for the Representation of Healthy and Pathological Cerebral Information
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
Jamal Atif, Céline Hudelot, Olivier Nempont...
ICIP
2005
IEEE
14 years 10 months ago
Statistical categorization of human histological images
Histology is the science of understanding the structure of animals and plants, and studying the functional implications of biological structures. In this paper, we propose a stati...
Dehua Zhao, Yixin Chen, Nelson Correa
FOSSACS
2005
Springer
14 years 2 months ago
From Separation Logic to First-Order Logic
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...
Cristiano Calcagno, Philippa Gardner, Matthew Hagu...