Sciweavers

970 search results - page 139 / 194
» Generation of Semantic Regions from Image Sequences
Sort
View
TSE
2008
107views more  TSE 2008»
15 years 6 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
CIKM
1993
Springer
15 years 10 months ago
Model-driven Hypermedia Access to Weather Information
: A framework is presented for hypermedia access to weather information originating from gridded data sets. The information is presented on different media (map, text, graph, table...
Stephan M. Kerpedjiev
IPMI
2005
Springer
16 years 7 months ago
A Genetic Algorithm for the Topology Correction of Cortical Surfaces
We propose a technique to accurately correct the spherical topology of cortical surfaces. We construct a mapping from the original surface onto the sphere to detect topological def...
Florent Ségonne, W. Eric L. Grimson, Bruce ...
MICCAI
2002
Springer
16 years 7 months ago
Simulation of the Exophthalmia Reduction Using a Finite Element Model of the Orbital Soft Tissues
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
Vincent Luboz, Annaig Pedrono, Pascal Swider, Fran...
ICASSP
2008
IEEE
16 years 25 days ago
Optical flow robust estimation in a hybrid multi-resolution MRF framework
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...
Cyril Cassisa, Véronique Prinet, Liang Shao...