Sciweavers

187 search results - page 21 / 38
» Relaxed Alternating Projection Methods
Sort
View
IPPS
2006
IEEE
14 years 2 months ago
Comparative study of price-based resource allocation algorithms for ad hoc networks
As mobile ad hoc networks provide a wide range of possibly critical services, providing quality of service guarantees becomes an essential element. Yet there is a limited understa...
Marcel Lüthi, Simin Nadjm-Tehrani, Calin Cure...
ICASSP
2011
IEEE
13 years 11 days ago
Automatic target classification in SAR images using MPCA
Multilinear analysis provides a powerful mathematical framework for analyzing synthetic aperture radar (SAR) images resulting from the interaction of multiple factors like sky lum...
Tristan Porges, Gérard Favier
ICIP
2002
IEEE
14 years 10 months ago
On the structure of some phase retrieval algorithms
The state of the art for solving the phase retrieval problem in two dimensions relies heavily on the algorithms proposed by Gerchberg, Saxton, and Fienup. Despite the widespread u...
Heinz H. Bauschke, Patrick L. Combettes, D. Russel...
IEEECGIV
2006
IEEE
14 years 2 months ago
Incremental Voxel Colouring by Ray Traversal
Image based reconstruction from multiple views is an interesting challenge. Recently methods of optimisation based voxel colouring have appeared, which make use of incremental vis...
O. Batchelor, R. Mukundan, R. Green
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 28 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...