<--- Back to Details
First PageDocument Content
Project 211 / Project 985 / VLDB / Cognitive science / IBM Research / Almaden / Gerhard Weikum / Ping Li / Microsoft Research / Science / Computer science / Year of birth missing
Date: 2015-03-28 13:42:47
Project 211
Project 985
VLDB
Cognitive science
IBM Research
Almaden
Gerhard Weikum
Ping Li
Microsoft Research
Science
Computer science
Year of birth missing

Add to Reading List

Source URL: www.vldb.org

Download Document from Source Website

File Size: 180,28 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

Software engineering / Computing / Programming paradigms / Evaluation strategy / Functional programming / Computer programming / Concurrent programming languages / Functional reactive programming / Reactive programming / Computer architecture / Dataflow programming / Dataflow

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

DocID: 1xVYc - View Document

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document