<--- Back to Details
First PageDocument Content
Australia / Australian National University / Arthur Birch / Hans Freeman / Academia / Fellows of the Royal Society
Date: 2011-05-11 00:09:52
Australia
Australian National University
Arthur Birch
Hans Freeman
Academia
Fellows of the Royal Society

Add to Reading List

Source URL: science.org.au

Download Document from Source Website

File Size: 278,15 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