Sciweavers

ICTAI
2003
IEEE
13 years 9 months 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, ...
ICTAI
2003
IEEE
13 years 9 months ago
Engineering Optimization Using a Simple Evolutionary Algorithm
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...
Efrén Mezura-Montes, Carlos A. Coello Coell...
ICTAI
2003
IEEE
13 years 9 months ago
Equuleus: Presentation from Legacy Documents
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
Susan Weber McRoy, Syed S. Ali, Nipat Nalamlieng
ICTAI
2003
IEEE
13 years 9 months 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
13 years 9 months 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
13 years 9 months ago
Task Allocation via Multi-Agent Coalition Formation: Taxonomy, Algorithms and Complexity
Coalition formation has become a key topic in multiagent research. In this paper, we propose a preliminary classification for the coalition formation problem based on three drivin...
Hoong Chuin Lau, Lei Zhang
ICTAI
2003
IEEE
13 years 9 months ago
Inference via Fuzzy Belief Petri Nets
The fuzzy belief Petri net we propose in this paper propagates fuzzy beliefs from observations at nodes that represent measured parameters to fuzzy beliefs of the truths of parame...
Carl G. Looney, Lily R. Liang
ICTAI
2003
IEEE
13 years 9 months 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
13 years 9 months ago
Validating an Online Adaptive System Using SVDD
Yan Liu, Srikanth Gururajan, Bojan Cukic, Tim Menz...
ICTAI
2003
IEEE
13 years 9 months ago
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
Céline Hudelot, Monique Thonnat