Sciweavers

1828 search results - page 204 / 366
» From Features to Semantics: Some Preliminary Results
Sort
View
CGO
2010
IEEE
15 years 8 months ago
Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0...
ENTCS
2006
168views more  ENTCS 2006»
15 years 1 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
121
Voted
IJSI
2010
84views more  IJSI 2010»
15 years 8 days ago
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...
104
Voted
MMDB
2003
ACM
94views Multimedia» more  MMDB 2003»
15 years 7 months ago
Improving image retrieval effectiveness via multiple queries
Conventional approaches to image retrieval are based on the assumption that relevant images are physically near the query image in some feature space. This is the basis of the clu...
Xiangyu Jin, James C. French
AMC
2007
128views more  AMC 2007»
15 years 1 months ago
Class label versus sample label-based CCA
When correlating the samples with the corresponding class labels, canonical correlation analysis (CCA) can be used for supervised feature extraction and subsequent classification...
Tingkai Sun, Songcan Chen