CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
1	The Rise and Decline of an Open Collaboration System: How Wikipedia’s reaction to popularity is causing its decline Aaron Halfaker1 R. Stuart Geiger2 Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2013-04-18 14:06:53 Social information processing Collaboration Digital media Wikipedia Mass media Wikis Wiki Aaron Halfaker Criticism of Wikipedia
2	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
3	Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization Arvind Satyanarayan, Ryan Russell, Jane Hoffswell, and Jeffrey Heer Internal External Add to Reading List Source URL: idl.cs.washington.edu Language: English
4	COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size \|F\|O(S) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:56:25 Mathematics Probabilistically checkable proof IP Algebra Creativity
5	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Abstract algebra Algebra Finite-state transducer Mathematics Theoretical computer science Finite-state machine Semigroup action Kazhdan's property Tree transducer
6	Overview Abstraction The Rest Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrent computing Scheduling Computer architecture System software Preemption Thread Cooperative multitasking Preempt Synchronization Computing
7	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
8	1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-12-20 05:43:00 Computing Internet architecture Information and communications technology Network architecture Emerging technologies Routing algorithms Routing Forwarding information base Link-state routing protocol Functional programming OpenFlow Network function virtualization
9	Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-11 21:16:46 Probability and statistics Statistics Statistical randomness Stochastic computing Applied mathematics Stochastic optimization Artificial neural network Mathematical optimization Stochastic process
10	Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-12-04 21:14:29 Artificial intelligence Applied mathematics Learning Machine learning Computational neuroscience Artificial neural networks Computational statistics Monte Carlo tree search Convolutional neural network Reinforcement learning Q-learning Structured prediction