Sciweavers

3616 search results - page 181 / 724
» Support Tucker Machines
Sort
View
194
Voted
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...
230
Voted
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
158
Voted
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...
175
Voted
ICALT
2006
IEEE
16 years 1 months 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
201
Voted
ICBA
2004
Springer
205views Biometrics» more  ICBA 2004»
16 years 12 days 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