Research Publications

Placeholder
 
Search | Show all
All
2012
Narrow your search
« 1 2 3 4 5 ... 8 9 »

Results per Page 10 25 50 100 250
84 result(s)
By Type
By Year
By Research Group
Matt Thompson, Jason Tangen, Duncan J. McCarthy
Learning Objective and Outcome: Attendees will receive an overview of recent criticisms of forensic identification; be updated on the findings of and rationale behind recent studies of expertise in fingerprint identification; and understand the ...
American Academy of Forensic Science Annual Meeting - December 2012
Fazlul Siddiqui, Patrik Haslum
Partially ordered plans have several useful properties, such as exhibiting the structure of the plan more clearly which facilitates post-plan generation tasks like scheduling the plan, explaining it to a user, or breaking it into subplans for ...
Australasian Joint Conference on Artificial Intelligence (AI) - December 2012
Mahmood Abdur Rashid, M.A.Hakim Newton, Nghia Pham, Abdul Sattar, Md tamjidul Hoque
In simplified protein structure prediction, genetic algorithms have not been applied to 3-dimensional face-centred cubic lattice. In this paper, we present a new genetic algorithm for protein structure prediction problem using face-centred cubic lattice ...
Australasian Joint Conference on Artificial Intelligence (AI) - December 2012
Stochastic perturbation on variable flipping is the key idea of local search for SAT. Observing that variables are flipped several times in an attempt to escape from a local minimum, this paper presents a duplication learning mechanism in stagnation ...
Australasian Joint Conference on Artificial Intelligence (AI) - December 2012
Lucas Bordeaux, Nina Narodytska
Local Search approaches to constraint satisfaction are based on the ability to compute violation scores. These estimate ’how far’ a given assignment is from satisfying the constraints, and aim at guiding the search towards assignments whose violation will...
Australasian Conference on Artificial Intelligence - December 2012
Ronald de Haan, Nina Narodytska , Toby Walsh
We study propagation of a global constraint that ensures that each row of a matrix of decision variables satisfies a Regular constraint, and each column satisfies a Gcc constraint. On the negative side, we prove that propagation is NP-hard even under some...
Australasian Conference on Artificial Intelligence - December 2012
Fabien Tricoire
This paper introduces multi-directional local search, a metaheuristic for multi-objective op- timization. We first motivate the method and present an algorithmic framework for it. We then apply it to several known multi-objective problems such as the ...
Computers and Operations Research - December 2012
Christian Schulte, Guido Tack
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear constraints both with unit and non-unit coefficients? Constraint variants are ubiquitous: ...
Constraints - December 2012
Manuel Cebrian
MIT Technology Review - November 2012
Nicholas Mattei, Judy Goldsmith, Andrew Klapper
We study the computational complexity of optimal bribery and manipulation schemes for sports tournaments with uncertain information: cup; challenge or caterpillar; and round robin. Our results carry over to the equivalent voting rules: sequential ...
Machine Aggregation of Human Judgment, AAAI Fall Symposium 2012 - November 2012