Sciweavers

1443 search results - page 164 / 289
» Learning Generative Models via Discriminative Approaches
Sort
View
145
Voted
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
14 years 10 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra
93
Voted
FASE
2009
Springer
15 years 4 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
103
Voted
ICML
2010
IEEE
15 years 1 months ago
Proximal Methods for Sparse Hierarchical Dictionary Learning
We propose to combine two approaches for modeling data admitting sparse representations: on the one hand, dictionary learning has proven effective for various signal processing ta...
Rodolphe Jenatton, Julien Mairal, Guillaume Obozin...
INTERSPEECH
2010
14 years 7 months ago
Investigation of full-sequence training of deep belief networks for speech recognition
Recently, Deep Belief Networks (DBNs) have been proposed for phone recognition and were found to achieve highly competitive performance. In the original DBNs, only framelevel info...
Abdel-rahman Mohamed, Dong Yu, L. Deng
IJCNN
2007
IEEE
15 years 7 months ago
Two-stage Multi-class AdaBoost for Facial Expression Recognition
— Although AdaBoost has achieved great success, it still suffers from following problems: (1) the training process could be unmanageable when the number of features is extremely ...
Hongbo Deng, Jianke Zhu, Michael R. Lyu, Irwin Kin...