Sciweavers

900 search results - page 16 / 180
» Metric Structures and Probabilistic Computation
Sort
View
QEST
2010
IEEE
13 years 5 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
CISST
2004
164views Hardware» more  CISST 2004»
13 years 9 months ago
Probabilistic Region Relevance Learning for Content-Based Image Retrieval
Probabilistic feature relevance learning (PFRL) is an effective method for adaptively computing local feature relevance in content-based image retrieval. It computes flexible retr...
Iker Gondra, Douglas R. Heisterkamp
DAC
2005
ACM
14 years 8 months ago
Designing logic circuits for probabilistic computation in the presence of noise
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...
ICPR
2008
IEEE
14 years 2 months ago
A similarity measure under Log-Euclidean metric for stereo matching
Stereo matching has been one of the most active areas in computer vision for decades. Many methods, ranging from similarity measures to local or global matching cost optimization ...
Quanquan Gu, Jie Zhou
SSS
2009
Springer
128views Control Systems» more  SSS 2009»
14 years 6 days ago
Dependability Engineering of Silent Self-stabilizing Systems
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, H...