Sciweavers

823 search results - page 24 / 165
» A Graph-Theoretic Analysis of Information Value
Sort
View
WEBI
2001
Springer
15 years 4 months ago
Collaborative Filtering Using Principal Component Analysis and Fuzzy Clustering
: Automated collaborative filtering is a popular technique for reducing information overload. In this paper, we propose a new approach for the collaborative filtering using local...
Katsuhiro Honda, Nobukazu Sugiura, Hidetomo Ichiha...
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 4 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
15 years 5 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
DAWAK
2005
Springer
15 years 5 months ago
FMC: An Approach for Privacy Preserving OLAP
To preserve private information while providing thorough analysis is one of the significant issues in OLAP systems. One of the challenges in it is to prevent inferring the sensitiv...
Ming Hua, Shouzhi Zhang, Wei Wang 0009, Haofeng Zh...
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
15 years 5 months ago
Selective perception policies for guiding sensing and computation in multimodal systems: a comparative analysis
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
Nuria Oliver, Eric Horvitz