Sciweavers

AUSAI
2007
Springer
15 years 10 months ago
Weight Redistribution for Unweighted MAX-SAT
Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than searching for consistency. This makes the MAX-SAT probl...
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar
AUSAI
2007
Springer
15 years 10 months ago
Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification
Abstract. One of the key applications of microarray studies is to select and classify gene expression profiles of cancer and normal subjects. In this study, two hybrid approaches
Pengyi Yang, Zili Zhang
AUSAI
2007
Springer
15 years 10 months ago
Planning as Satisfiability with Relaxed $-Step Plans
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
Martin Wehrle, Jussi Rintanen
AUSAI
2007
Springer
15 years 10 months ago
Branching Rules for Satisfiability Analysed with Factor Analysis
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying va...
Richard J. Wallace, Stuart Bain
ICSE
2010
IEEE-ACM
15 years 10 months ago
Moving into a new software project landscape
When developers join a software development project, they find themselves in a project landscape, and they must become familiar with the various landscape features. To better und...
Barthélémy Dagenais, Harold Ossher, ...