Sciweavers

5639 search results - page 484 / 1128
» Timed Abstract Non-interference
Sort
View
108
Voted
MICCAI
2003
Springer
16 years 5 months ago
The Euler-Lagrange Equation for Interpolating Sequence of Landmark Datasets
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
Alain Trouvé, Laurent Younes, Michael I. Mi...
IPMI
1999
Springer
16 years 5 months ago
Co-dimension 2 Geodesic Active Contours for MRA Segmentation
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...
Liana M. Lorigo, Olivier D. Faugeras, W. Eric L. G...
IPMI
2005
Springer
16 years 5 months ago
Design of Robust Vascular Tree Matching: Validation on Liver
Abstract. In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT...
Arnaud Charnoz, Vincent Agnus, Grégoire Mal...
CP
2009
Springer
16 years 5 months ago
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
Mohammad M. Fazel-Zarandi, J. Christopher Beck
MOBISYS
2009
ACM
16 years 5 months ago
StarTrack: a framework for enabling track-based applications
Mobile devices are increasingly equipped with hardware and software services allowing them to determine their locations, but support for building location-aware applications remai...
Ganesh Ananthanarayanan, Maya Haridasan, Iqbal Moh...