Sciweavers

3984 search results - page 566 / 797
» A Model-Driven Transformation Method
Sort
View
TCAD
2002
121views more  TCAD 2002»
15 years 5 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
ML
2007
ACM
144views Machine Learning» more  ML 2007»
15 years 5 months ago
Invariant kernel functions for pattern analysis and machine learning
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
Bernard Haasdonk, Hans Burkhardt
PRL
2007
131views more  PRL 2007»
15 years 5 months ago
A new look at discriminative training for hidden Markov models
ct 7 Discriminative training for hidden Markov models (HMMs) has been a central theme in speech recognition research for many years. 8 One most popular technique is minimum classi...
Xiaodong He, Li Deng
IBERAMIA
2010
Springer
15 years 4 months ago
A Visual Grammar for Face Detection
Several methods have been developed for face detection with certain success, however these tend to fail under difficult conditions such as partial occlusions and changes in orienta...
Augusto Meléndez, Luis Enrique Sucar, Eduar...
ICASSP
2010
IEEE
15 years 4 months ago
A comparison of approaches for modeling prosodic features in speaker recognition
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
Luciana Ferrer, Nicolas Scheffer, Elizabeth Shribe...