<--- Back to Details
First PageDocument Content
Curtin University / Western Australia / John Curtin / ChemCentre / Australian National University / Association of Commonwealth Universities / Government of Australia / States and territories of Australia
Curtin University
Western Australia
John Curtin
ChemCentre
Australian National University
Association of Commonwealth Universities
Government of Australia
States and territories of Australia

Add to Reading List

Source URL: research.curtin.edu.au

Download Document from Source Website

File Size: 628,88 KB

Share Document on Facebook

Similar Documents

Mathematics / Heuristics / Edsger W. Dijkstra / Automated planning and scheduling / Mathematical optimization / Shortest path problem / Admissible heuristic / Search algorithm / Methodology / Algorithm / Cognition

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

DocID: 1xVMg - View Document

Constraint programming / NP-complete problems / Puzzles / Crossword / Constraint satisfaction / Local consistency / Human behavior / Backtracking / Theoretical computer science / Cognition

Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit

DocID: 1xU6c - View Document

Mathematics / Geometry / Algebra / Analytic geometry / Linear algebra / Algebraic curves / Cone / Surfaces / Conic section / Convex cone / Line / Hybrid system

Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

DocID: 1xU0g - View Document

Multirotor Aircraft: Modelling, State Estimation and Control Robert Mahony College of Engineering and Computer Science Australian National University

DocID: 1vrG3 - View Document

The combination technique and some generalisations Markus Hegland, Jochen Garcke and Vivien Challis Mathematical Sciences Institute Australian National University Canberra ACT 0200 Australia

DocID: 1vpay - View Document