isf-2014-workshop-CFP-6 Feb 2014

First Page		Document Content
Date: 2014-05-06 01:22:15 Systems theory Australian National University Information systems Knowledge Academia Bernhard Thalheim Science Cybernetics Australasian Conference on Information Systems		isf-2014-workshop-CFP-6 Feb 2014 Add to Reading List Source URL: www.rsabis.anu.edu.au Download Document from Source Website File Size: 60,79 KB Share Document on Facebook

	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
	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
	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