Sciweavers

3507 search results - page 469 / 702
» Feature selection toolbox
Sort
View
FORTEST
2008
15 years 6 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
127
Voted
COMMA
2008
15 years 6 months ago
Towards argumentation-based contract negotiation
We present an argumentation-based approach to contract negotiation amongst agents. Contracts are simply viewed as abstract transactions of items between a buyer agent and a seller ...
Phan Minh Dung, Phan Minh Thang, Francesca Toni
ESANN
2007
15 years 6 months ago
Agglomerative Independent Variable Group Analysis
Independent Variable Group Analysis (IVGA) is a method for grouping dependent variables together while keeping mutually independent or weakly dependent variables in separate group...
Antti Honkela, Jeremias Seppä, Esa Alhoniemi
ESANN
2008
15 years 6 months ago
GeoKernels: modeling of spatial data on geomanifolds
This paper presents a review of methodology for semi-supervised modeling with kernel methods, when the manifold assumption is guaranteed to be satisfied. It concerns environmental ...
Alexei Pozdnoukhov, Mikhail F. Kanevski
SIROCCO
2010
15 years 6 months ago
On the Impact of Local Taxes in a Set Cover Game
Given a collection C of weighted subsets of a ground set E, the set cover problem is to find a minimum weight subset of C which covers all elements of E. We study a strategic game ...
Bruno Escoffier, Laurent Gourvès, Jé...