Abstract Althoughtremendousadvanceshave been accomplished in logic synthesis in the past two decades, in some cases logic synthesis still cannot attain the improvements possible by...
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
Abstract. A central problem in the analysis of functional magnetic resonance imaging (fMRI) data is the reliable detection and segmentation of activated areas. Often this goal is a...
Eero Salli, Ari Visa, Hannu J. Aronen, Antti Korve...
Abstract. This paper presents a model-based vision system for dentistry that will assist in diagnosis, treatment planning and surgical simulation. Dentistry requires the accurate 3...
Sameh M. Yamany, Aly A. Farag, David Tasman, Allan...