Sciweavers

4835 search results - page 155 / 967
» Intelligent Selection Tools
Sort
View
ESANN
2008
15 years 7 months ago
On related violating pairs for working set selection in SMO algorithms
Sequential Minimal Optimization (SMO) is currently the most popular algorithm to solve large quadratic programs for Support Vector Machine (SVM) training. For many variants of this...
Tobias Glasmachers
INFORMATICALT
2007
95views more  INFORMATICALT 2007»
15 years 6 months ago
Neuro-IG: A Hybrid System for Selection and Elimination of Predictor Variables and non Relevant Individuals
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
Baghdad Atmani, Bouziane Beldjilali
TPHOL
2007
IEEE
16 years 18 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
WILF
2007
Springer
92views Fuzzy Logic» more  WILF 2007»
16 years 13 days ago
Using Visualization Tools to Guide Consensus in Group Decision Making
In the resolution of group decision making problems where the consensus process can not be held face to face by the experts it is usually difficult for them to be able to identify ...
Sergio Alonso, Enrique Herrera-Viedma, Francisco J...
IUI
2004
ACM
15 years 11 months ago
Second messenger: increasing the visibility of minority viewpoints with a face-to-face collaboration tool
This paper introduces the application Second Messenger, a tool for supporting face-to-face meetings and discussions. Second Messenger uses a speech-recognition engine as an input ...
Joan Morris DiMicco, Walter Bender