University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
581	A Large Public Corpus of Web Tables containing Time and Context Metadata Oliver Lehmberg, Dominique Ritze, Robert Meusel, Christian Bizer Data and Web Science Group, University of Mannheim, Mannheim, Germany {oli,domini Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:52:12 Data management Computing Data modeling Data Join Table DBpedia Database Dimension Data model Unique key
582	Learning Outcomes for Master of Information Management (MIM) National Qualification Framework for Iceland Master of Information Management at Reykjavik University Master of Information Management (MIM) is a 90 ECTS-credi Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:42:18 Metaphysics Education Knowledge Information Educational psychology Information system Academic degree Information management Master's degree Critical thinking Bachelor's degree Informatics
583	Planning with PDDL3.0 Preferences by Compilation into STRIPS with Action Costs Percassi Francesco University of Brescia Department of Information Engineering Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:37 Automated planning and scheduling Temporal logic Computation tree logic Logic in computer science STRIPS Planning Domain Definition Language Theoretical computer science Computing
584	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Pointer Graph
585	Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:48 Graph theory Network theory Bipartite graphs Graph operations Centrality Network analysis Distance Graph Connectivity Tree Shortest path problem Degeneracy
586	Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:34 Computational complexity theory Conflict-driven clause learning Drat Exponential time hypothesis Felgenhauer NP-complete problems
587	NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il Add to Reading List Source URL: negative.vision Language: English - Date: 2017-10-09 09:03:00 Applied mathematics Mathematics Artificial neural network Computational neuroscience Market research Market segmentation Mathematical psychology Perturbation theory Outline of machine learning Adversary Traffic sign Analysis
588	From SAT to ASP and back!? Torsten Schaub University of Potsdam & INRIA Rennes Torsten Schaub (KRR@UP) Add to Reading List Source URL: sat2016.labri.fr Language: English - Date: 2016-07-11 01:48:08 Programming paradigms Logic programming Software engineering Artificial intelligence Constraint programming Theoretical computer science Answer set programming Automated reasoning Constraint satisfaction problem Problem solving Solver Knowledge representation and reasoning
589	Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:43 Theoretical computer science Mathematics Mathematical logic Logic in computer science Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Substitution Model theory
590	arXiv:1802.08182v2 [cs.HC] 16 OctUser Perceptions of Smart Home IoT Privacy SERENA ZHENG, Princeton University, USA NOAH APTHORPE, Princeton University, USA MARSHINI CHETTY, Princeton University, USA Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-16 22:25:52 Computing Internet of things Ambient intelligence Technology Terms of service Information and communications technology Privacy Internet privacy SMART home technology Big data Home automation LoRa

UPDATE