CECS - PDFSEARCH.IO - Document Search Engine

CECS
Results: 762

#	Item
321	ICAPS 2014 Tutorial Introduction to Planning Domain Modeling in RDDL Scott Sanner Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-08-23 20:23:48 Economic model Automated planning and scheduling Planning Domain Definition Language STRIPS
322	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
323	Introduction In the UK, Clinical Ethics Committees (CECs) have until recently focussed very much on individual patient care and many have not specifically considered issues of resources. However, as they become more esta Add to Reading List Source URL: www.ukcen.net Language: English - Date: 2011-06-08 12:32:35 Medical ethics NHS England Clinical pharmacology National Institute for Health and Clinical Excellence Quality-adjusted life year National Health Service Cost–utility analysis Health equity Criticism of the National Health Service Health Medicine Health economics
324	Scott P. Sanner Contact Information Machine Learning Group NICTA and the Australian National University Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-12-02 20:19:48 Action selection Cyc Association for the Advancement of Artificial Intelligence Planner International Joint Conference on Artificial Intelligence European Conference on Artificial Intelligence Artificial intelligence Machine learning Reinforcement learning
325	PDF Document Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-07-14 20:55:27 Combinatorial optimization Pathfinding Tree Heuristic function Game artificial intelligence Artificial intelligence A* search algorithm
326	PDF Document Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2012-06-15 15:43:40 Q Country code top-level domains
327	910123_illustration [Converted] Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2008-06-25 20:23:11 Machine learning Abstraction Axiology Logic Computational learning theory Mathematical logic Computer science Science Knowledge Mathematics
328	Australian Government Department of Immigration and Citizenship TOURIST VISA INFORMATION (General Guide Only) All travellers to Australia must have a valid visa before boarding their plane; they cannot apply for a visa o Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2008-06-19 00:18:23 Public records Visa Human migration Passport Hong Kong Special Administrative Region passport Visa Waiver Program Immigration to Australia Electronic visas Government
329	Symbolic Variable Elimination for Discrete and Continuous Graphical Models Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2015-03-17 00:39:18 Mathematical analysis Graphical models Probability theory Statistical models Functions and mappings Bayesian network Belief propagation Normal distribution Probability distribution Statistics Mathematics Bayesian statistics
330	Big and Tall: Large Margin Learning with High Order Losses Daniel Tarlow University of Toronto Richard Zemel University of Toronto Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2011-06-07 20:15:08 Image processing Segmentation Loss function Support vector machine Function Statistics Mathematics Statistical classification

UPDATE