<--- Back to Details
First PageDocument Content
Year of birth missing / Turing Award laureates / International Joint Conference on Artificial Intelligence / Fellows of the British Computer Society / Canada Research Chairs / IJCAI Computers and Thought Award / Alan Bundy / Raymond Reiter / Sarit Kraus / Artificial intelligence / Science / Academia
Date: 2011-06-29 06:49:55
Year of birth missing
Turing Award laureates
International Joint Conference on Artificial Intelligence
Fellows of the British Computer Society
Canada Research Chairs
IJCAI Computers and Thought Award
Alan Bundy
Raymond Reiter
Sarit Kraus
Artificial intelligence
Science
Academia

Awards and Distinguished Papers

Add to Reading List

Source URL: ijcai.org

Download Document from Source Website

File Size: 198,91 KB

Share Document on Facebook

Similar Documents

I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

DocID: 1xW3e - View Document

Computing / Computer architecture / Android / System software / Online marketplaces / Google Play / Intent

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

DocID: 1xW0E - View Document

Algebra / Linear algebra / Mathematics / Matrices / Numerical linear algebra / Unitary matrix / Matrix / Rotational symmetry / Four-vector / Permutation matrix / Eigenvalue perturbation / Singular value decomposition

CS378, MA375T, PHY341 Homework 1 Homework 1 Introduction to Quantum Information Science

DocID: 1xVZC - View Document

Algebra / Quantum mechanics / Physics / Quantum information science / Quantum states / Linear algebra / Quantum computing / 0I / Quantum circuit / Eigenvalues and eigenvectors / Qubit / Eigenvalue perturbation

CS378, MA375T, PHY341 Homework 2 Homework 2 Introduction to Quantum Information Science

DocID: 1xVYW - View Document