Sciweavers

3616 search results - page 181 / 724
» Support Tucker Machines
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
IEEEVAST
2010
15 years 1 months ago
ALIDA: Using machine learning for intent discernment in visual analytics interfaces
In this paper, we introduce ALIDA, an Active Learning Intent Discerning Agent for visual analytics interfaces. As users interact with and explore data in a visual analytics enviro...
Tera Marie Green, Ross Maciejewski, Steve DiPaola
ISBI
2004
IEEE
16 years 7 months ago
Qualitative Asymmetry Measure for Melanoma Detection
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry. ...
Michele d'Amico, Massimo Ferri, Ignazio Stanganell...
ICALT
2006
IEEE
16 years 17 days ago
Improving the Quality of Discussion Forum discourses by Using an Internal Market
We describe an approach that attempts to improve the quality of discussion forum discussions and to reduce the cost of discussion forum support by prioritizing and structuring mes...
Alexei Tretiakov, Øyvind Smestad, Kinshuk
ICBA
2004
Springer
205views Biometrics» more  ICBA 2004»
15 years 12 months ago
Combining Fingerprint and Voiceprint Biometrics for Identity Verification: an Experimental Comparison
Combining multiple biometrics may enhance the performance of personal authentication system in accuracy and reliability. In this paper, we compare 13 combination methods in the con...
Yuan Wang, Yunhong Wang, Tieniu Tan