Sciweavers

3628 search results - page 676 / 726
» Approaching the Physical Limits of Computing
Sort
View
TSP
2010
13 years 3 months ago
Optimization and analysis of distributed averaging with short node memory
Distributed averaging describes a class of network algorithms for the decentralized computation of aggregate statistics. Initially, each node has a scalar data value, and the goal...
Boris N. Oreshkin, Mark Coates, Michael G. Rabbat
CAD
2012
Springer
12 years 4 months ago
Flexible shape control for automatic resizing of apparel products
We provide a flexible shape control technique in this paper for the automatic resizing of apparel products. The automatic resizing function has become an essential part of the 3D...
Yuwei Meng, Charlie C. L. Wang, Xiaogang Jin
EDBT
2012
ACM
257views Database» more  EDBT 2012»
11 years 11 months ago
Indexing and mining topological patterns for drug discovery
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
Sayan Ranu, Ambuj K. Singh
ICDE
2008
IEEE
119views Database» more  ICDE 2008»
14 years 10 months ago
MobiQual: QoS-aware Load Shedding in Mobile CQ Systems
Freshness and accuracy are two key measures of quality of service (QoS) in location-based, mobile continual queries (CQs). However, it is often difficult to provide both fresh and ...
Bugra Gedik, Kun-Lung Wu, Philip S. Yu, Ling Liu
CAV
2009
Springer
206views Hardware» more  CAV 2009»
14 years 9 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...