Sciweavers

4466 search results - page 675 / 894
» Large-Scale Data Analysis Using Heuristic Methods
Sort
View
133
Voted
DATE
2009
IEEE
95views Hardware» more  DATE 2009»
15 years 10 months ago
Machine learning-based volume diagnosis
In this paper, a novel diagnosis method is proposed. The proposed technique uses machine learning techniques instead of traditional cause-effect and/or effect-cause analysis. The ...
Seongmoon Wang, Wenlong Wei
FMCAD
2000
Springer
15 years 7 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
173
Voted
VISAPP
2010
15 years 1 months ago
Inverse Problems in Imaging and Computer Vision - From Regularization Theory to Bayesian Inference
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
Ali Mohammad-Djafari
148
Voted
KDD
2006
ACM
200views Data Mining» more  KDD 2006»
16 years 4 months ago
A Random-Walk Based Scoring Algorithm Applied to Recommender Engines
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
Augusto Pucci, Marco Gori, Marco Maggini
155
Voted
KDD
2010
ACM
218views Data Mining» more  KDD 2010»
15 years 7 months ago
Online multiscale dynamic topic models
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
Tomoharu Iwata, Takeshi Yamada, Yasushi Sakurai, N...