Sciweavers

1206 search results - page 67 / 242
» Convergence analysis of online algorithms
Sort
View
BIRTHDAY
2007
Springer
15 years 1 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
TMI
2010
156views more  TMI 2010»
14 years 4 months ago
Snakules: A Model-Based Active Contour Algorithm for the Annotation of Spicules on Mammography
Abstract--We have developed a novel, model-based active contour algorithm, termed "snakules", for the annotation of spicules on mammography. At each suspect spiculated ma...
Gautam S. Muralidhar, Alan Conrad Bovik, J. David ...
INFOCOM
1996
IEEE
15 years 1 months ago
Time Scale Analysis of Explicit Rate Allocation in ATM Networks
Rate based congestion management for computer communication networks has been the focus of considerable research recently. Dierent variants to the end-to-end rate based algorithm ...
Anna Charny, K. K. Ramakrishnan
CISIS
2008
IEEE
15 years 4 months ago
Adaptive Computational Chemotaxis in Bacterial Foraging Algorithm
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
Sambarta Dasgupta, Arijit Biswas, Ajith Abraham, S...
ASPDAC
2007
ACM
112views Hardware» more  ASPDAC 2007»
15 years 1 months ago
Efficient Second-Order Iterative Methods for IR Drop Analysis in Power Grid
Due to the extremely large sizes of power grids, IR drop analysis has become a computationally challenging problem both in terms of runtime and memory usage. It has been shown in [...
Yu Zhong, Martin D. F. Wong