INF

Results: 15295



#Item
21Terms of service / Law / Privacy law / Internet privacy / Computing / Information privacy / Privacy / HTTP cookie / Medical privacy / Personally identifiable information / Privacy concerns with social networking services / P3P

Privacy Policy Effective as of January 1st, 2018. SweetZpot is dedicated to give our customers both an optimal training experience and service when interacting with SweetZpot, for this reason we are collecting some inf

Add to Reading List

Source URL: www.sweetzpot.com

Language: English - Date: 2018-01-03 03:10:39
22Computer vision / Artificial intelligence / Vision / 3D imaging / Photogrammetry / Applications of computer vision / Robot control / Structure from motion / Pose / 3D reconstruction / Convolutional neural network / Camera resectioning

c This is a preprint for the paper accepted for publication in CVPR 2017. 2017 IEEE Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? Torsten Sattler1 Akihiko Torii2 Josef Sivic3,5

Add to Reading List

Source URL: people.inf.ethz.ch

Language: English - Date: 2017-04-14 12:02:45
23Concurrency control / Linearizability / Transaction processing / Model theory

Introduction R/G Examples Brief history

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-08-04 03:30:10
24

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization Benjamin Bichsel Timon Gehr

Add to Reading List

Source URL: files.sri.inf.ethz.ch

Language: English - Date: 2018-09-05 10:55:58
    25Computing / Obfuscation / ProGuard / Smartphones / Android / Graphical model / JAR

    Statistical Deobfuscation of Android Applications Benjamin Bichsel Veselin Raychev

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:55:59
    26Async/await / Control flow / Stan / Symposium on Principles of Programming Languages / Phog / Machine learning / Futures and promises / PL / Probability and statistics / Computing / Software engineering

    PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:57:47
    27Computing / Software engineering / Machine translation / Linguistics / Compiler construction / Computational linguistics / Applied linguistics / Statistical natural language processing / Statistical machine translation / Parsing / Translation / Syntax

    Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:56:00
    28Automated theorem proving / Heuristics / Rippling / Mathematical proof / Cognition / Knowledge / Epistemology

    PDF Document

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    Language: English - Date: 2010-08-26 11:35:00
    29Artificial neural networks / Computational neuroscience / Machine learning / Artificial intelligence / Applied mathematics / Computational linguistics / Natural language processing / Speech recognition / Convolutional neural network / Language model / Long short-term memory / Neural network

    Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:55:59
    30Operator theory / Harmonic analysis / Mathematics / Partial differential equations / Morphism of algebraic varieties / Beltrami equation

    Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    Language: English - Date: 2010-08-26 11:35:27
    UPDATE