Sciweavers

1121 search results - page 169 / 225
» Location-routing: Issues, models and methods
Sort
View
FM
2005
Springer
98views Formal Methods» more  FM 2005»
15 years 3 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...
ICIP
2003
IEEE
15 years 11 months ago
Statistical atlas-based sub-voxel segmentation of 3D brain MRI
We present a 3D brain MRI segmentation method in which a high resolution label image evolves under the influence of multiple constraints. The constraints are expressed in a versat...
Marcel Bosc, Fabrice Heitz, Jean-Paul Armspach
IROS
2009
IEEE
266views Robotics» more  IROS 2009»
15 years 4 months ago
Inertial-aided KLT feature tracking for a moving camera
— We propose a novel inertial-aided KLT feature tracking method robust to camera ego-motions. The conventional KLT uses images only and its working condition is inherently limite...
Myung Hwangbo, Jun-Sik Kim, Takeo Kanade
ICCCN
2008
IEEE
15 years 4 months ago
Impairment-Aware Manycast Algorithms over Optical Burst-Switched Networks
— We discuss the effect of physical impairments on manycasting service over optical burst-switched (OBS) networks. Signal quality degradation in manycast networks is an important...
Balagangadhar G. Bathula, Rajesh R. C. Bikram, Vin...
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
15 years 4 months ago
Towards Reliable Computation of Large-Scale Market-Based Optimal Power Flow
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
Hongye Wang, Robert J. Thomas