Sciweavers

1121 search results - page 169 / 225
» Location-routing: Issues, models and methods
Sort
View
107
Voted
FM
2005
Springer
98views Formal Methods» more  FM 2005»
15 years 7 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
16 years 3 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 8 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 8 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...
113
Voted
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
15 years 8 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