Sciweavers

1191 search results - page 190 / 239
» Computing Multidimensional Persistence
Sort
View
119
Voted
LICS
2009
IEEE
15 years 8 months ago
An Improved Lower Bound for the Complementation of Rabin Automata
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
Yang Cai, Ting Zhang, Haifeng Luo
126
Voted
ASPDAC
2009
ACM
143views Hardware» more  ASPDAC 2009»
15 years 8 months ago
Statistical modeling and analysis of chip-level leakage power by spectral stochastic method
In this paper, we present a novel statistical full-chip leakage power analysis method. The new method can provide a general framework to derive the full-chip leakage current or po...
Ruijing Shen, Ning Mi, Sheldon X.-D. Tan, Yici Cai...
116
Voted
IEEEPACT
2007
IEEE
15 years 8 months ago
Automatic Correction of Loop Transformations
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
Nicolas Vasilache, Albert Cohen, Louis-Noël P...
CIVR
2007
Springer
185views Image Analysis» more  CIVR 2007»
15 years 8 months ago
Z-grid-based probabilistic retrieval for scaling up content-based copy detection
Scalability is the key issue in making content-based copy detection (CBCD) methods practical for very large image and video databases. Since copies are transformed versions of ori...
Sébastien Poullot, Olivier Buisson, Michel ...
89
Voted
DCOSS
2007
Springer
15 years 8 months ago
Mobile Anchor-Free Localization for Wireless Sensor Networks
Localization is a fundamental problem in wireless sensor networks. In this paper, we consider how to localize individual nodes in a wireless sensor network when some subset of the...
Yurong Xu, Yi Ouyang, Zhengyi Le, James Ford, Fill...