Back to Results
First PageMeta Content
Mathematics / NICTA / Formal methods / Constraint programming / Operations research / Solver / Formal verification / Open Kernel Labs / Isabelle / Applied mathematics / Theoretical computer science / Logic in computer science


AI @ NICTA Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck, Toby Walsh Abstract NICTA is Australi
Add to Reading List

Document Date: 2013-05-20 09:25:04


Open Document

File Size: 3,98 MB

Share Result on Facebook

City

LAMA / Aberdeen / O. / Brisbane / Sydney / Canberra / Melbourne / /

Company

Sensis / Ericsson / Linfox / Red Lizard Software1 / IOS Press / Hamburg Sud / NICTA Queensland Research Laboratory / Google / Microsoft / /

Country

Australia / United States / Madagascar / /

Currency

USD / /

Event

Reorganization / /

Facility

University of New South Wales / Germany’s Fraunhofer Institute / University of Sydney / University of Queensland / Fraunhofer Institute / Victoria laboratory / Griffith University / University of Melbourne / Australian National University / Monash University / Queensland University of Technology / Public Library of Science One / /

IndustryTerm

structural sieving server / heuristic search / predecessor technology / transportation / belief-propagation algorithms / Computer vision algorithms / local search / large neighbourhood search / static analysis tool / computer vision / todays high throughput sequencing technology / push-button tools / dynamic local search algorithms / search tree size / commodity computing / software development / energy / electrode device / push-button technology / search solver / traffic control systems / social networking / optimisation / information technology / manufacturing / computing / Online estimation / Model checking software / legal systems / software application / larger applications / correct large systems / machine learning algorithms / qualitative temporal networks / vision processing challenges / concurrent applications / guide software development / health information systems / spectral imaging project / data mining / rapid prototyping technology / signal processing / hybrid continuous and discrete systems / interactive recommendation systems / visual prosthetic devices / surveillance applications / vision processing / structural alignment algorithm / software systems / throughput sequencing technology / software verification / real-world applications / local search procedures / faster algorithms / predefined software defects / software applications / weiszfeld algorithm / Smart energy grids optimising generation / hyperspectral imaging technologies / genetic algorithms / natural language processing / stochastic gradient descent algorithm / safetyand security-critical software / maxproduct algorithms / interval algebra networks / /

Organization

SAP / ICT Centre of Excellence / Queensland University of Technology / University of Sydney / Australian Government / Association for the Advancement / Fraunhofer Institute / Monash University / University of Queensland / Artificial Copyright Intelligence / Road Traffic Authority / Australian National University / Department of Broadband / Communications and the Digital Economy / Pattern Analysis and Machine Intelligence / University of Melbourne / Australia’s CSIRO / France’s INRIA / Japan’s NII / and Germany’s Fraunhofer Institute / Medical Informatics Association / General Purpose Graphical Processing Unit / University of New South Wales / Asian office of Aerospace Research and Development / Australian Research Council / Australian Defense Science Organisation / Future Logistics Living Lab. / Centre of Excellence / Griffith University / IEEE Computer Society / /

Person

Pascal Van Hentenryck / Abdul Sattar / Nick Barnes / Purpose Graphical / Tiberio Caetano / Peter Stuckey / Hugh Durrant-Whyte / Peter Baumgartner / Williamson / Penelope Sanderson / Sylvie Thiebaux / /

Position

conceptually rich model of business process compliance / Factored Policygradient Planner / driver / Walker / Probabilistic Temporal Planner / /

ProgrammingLanguage

C / C++ / /

ProvinceOrState

Queensland / Oregon / New South Wales / /

PublishedMedium

The Machine Learning / British Medical Journal / Journal of Machine Learning Research / /

Region

South Wales / Asia-Pacific / /

Technology

weiszfeld algorithm / structural alignment algorithm / information technology / exploit AI technologies / hyperspectral imaging technologies / maxproduct algorithms / operating system / stochastic gradient descent algorithm / dynamic local search algorithms / AI technologies / Computer vision algorithms / todays high throughput sequencing technology / high throughput sequencing technology / push-button technology / rapid prototyping technology / belief-propagation algorithms / bioinformatics / Machine learning algorithms / Broadband / DNA technology / machine learning / predecessor technology / Image processing / operating systems / scaling-up machine learning algorithms / ICT technologies / natural language processing / main processor / artificial intelligence / data mining / SAT algorithms / Systems Using Satisfiability Algorithms / using the weiszfeld algorithm / /

URL

http /

SocialTag