Sciweavers

2152 search results - page 1 / 431
» A Comparative Study of 2QBF Algorithms
Sort
View
SAT
2004
Springer
131views Hardware» more  SAT 2004»
14 years 4 months ago
A Comparative Study of 2QBF Algorithms
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
Darsh P. Ranjan, Daijue Tang, Sharad Malik
WSCG
2001
110views more  WSCG 2001»
14 years 3 days ago
Algorithms to Test Ray-Triangle Intersection. Comparative Study
In this article we present an algorithm to determine the intersection between rays and triangles based on the idea of the study of signs with respect to triangles. One of the adva...
Rafael Jesús Segura, Francisco R. Feito
BMCBI
2010
190views more  BMCBI 2010»
13 years 11 months ago
Sample size and statistical power considerations in high-dimensionality data settings: a comparative study of classification alg
Background: Data generated using `omics' technologies are characterized by high dimensionality, where the number of features measured per subject vastly exceeds the number of...
Yu Guo, Armin Graber, Robert N. McBurney, Raji Bal...
IPPS
1998
IEEE
14 years 3 months ago
A Comparative Study of Five Parallel Genetic Algorithms Using the Traveling Salesman Problem
Parallel genetic algorithms (PGAs) have been developed to reduce the large execution times that are associated with serial genetic algorithms (SGAs). They have also been used to s...
Lee Wang, Anthony A. Maciejewski, Howard Jay Siege...
CEC
2007
IEEE
14 years 2 months ago
Fitness diversity based adaptation in Multimeme Algorithms: A comparative study
Abstract-- This paper compares three different fitness diversity adaptations in Multimeme Algorithms (MmAs). These diversity indexes have been integrated within a MmA present in li...
Ferrante Neri, Ville Tirronen, Tommi Kärkk&au...