Sciweavers

1052 search results - page 103 / 211
» Mean-Variance Analysis of the Performance of Spatial Orderin...
Sort
View
ASPDAC
2006
ACM
137views Hardware» more  ASPDAC 2006»
14 years 3 months ago
Parameterized block-based non-gaussian statistical gate timing analysis
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
Soroush Abbaspour, Hanif Fatemi, Massoud Pedram
IPSN
2005
Springer
14 years 2 months ago
Matched source-channel communication for field estimation in wireless sensor networks
Abstract— Sensing, processing and communication must be jointly optimized for efficient operation of resource-limited wireless sensor networks. We propose a novel source-channel...
Waheed Uz Zaman Bajwa, Akbar M. Sayeed, Robert D. ...
SCAM
2008
IEEE
14 years 3 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
SIGIR
2006
ACM
14 years 3 months ago
Tensor space model for document analysis
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
Deng Cai, Xiaofei He, Jiawei Han
ISMIR
2005
Springer
143views Music» more  ISMIR 2005»
14 years 2 months ago
Fuzzy Analysis in Pitch-Class Determination for Polyphonic Audio Key Finding
This paper presents a fuzzy analysis technique for pitch class determination that improves the accuracy of key finding from audio information. Errors in audio key finding, typical...
Ching-Hua Chuan, Elaine Chew