Sciweavers

2042 search results - page 68 / 409
» Variable Number of
Sort
View
CP
2005
Springer
15 years 9 months ago
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
Carsten Sinz
SPRINGSIM
2008
15 years 5 months ago
Implementation by simulation; strategies for ultrasound screening for hip dysplasia in the Netherlands
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
Sabrina Ramwadhdoebe, Godefridus G. van Merode, Ma...
HAIS
2009
Springer
15 years 8 months ago
Automatic Clustering Using a Synergy of Genetic Algorithm and Multi-objective Differential Evolution
— This paper applies the Differential Evolution (DE) and Genetic Algorithm (GA) to the task of automatic fuzzy clustering in a Multi-objective Optimization (MO) framework. It com...
Debarati Kundu, Kaushik Suresh, Sayan Ghosh, Swaga...
115
Voted
ICDM
2006
IEEE
98views Data Mining» more  ICDM 2006»
15 years 10 months ago
What is the Dimension of Your Binary Data?
Many 0/1 datasets have a very large number of variables; however, they are sparse and the dependency structure of the variables is simpler than the number of variables would sugge...
Nikolaj Tatti, Taneli Mielikäinen, Aristides ...
RTAS
1998
IEEE
15 years 8 months ago
Bounding Loop Iterations for Timing Analysis
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
Christopher A. Healy, Mikael Sjödin, Viresh R...