Sciweavers

34 search results - page 6 / 7
» ictai 2003
Sort
View
ICTAI
2003
IEEE
14 years 26 days ago
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity
We use a genetic algorithm to calibrate a spatially and temporally resolved cellular automata to model mining activity on public land in Idaho and western Montana. The genetic alg...
Sushil J. Louis, Gary L. Raines
ICTAI
2003
IEEE
14 years 26 days ago
Integrating Microarray Data by Consensus Clustering
With the exploding volume of microarray experiments comes increasing interest in mining repositories of such data. Meaningfully combining results from varied experiments on an equ...
Vladimir Filkov, Steven Skiena
ICTAI
2003
IEEE
14 years 26 days ago
An Intelligent Early Warning System for Software Quality Improvement and Project Management
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
Xiaoqing Frank Liu, Gautam Kane, Monu Bambroo
ICTAI
2003
IEEE
14 years 26 days ago
MFSAT: A SAT Solver Using Multi-Flip Local Search
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
Amol Dattatraya Mali, Yevgeny Lipen
ICTAI
2003
IEEE
14 years 26 days ago
Eliminating Redundancies in SAT Search Trees
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ...