Automatic - PDFSEARCH.IO - Document Search Engine

Automatic
Results: 19792

#	Item
21	Dtre\|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory
22	Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-01 10:52:10 Theoretical computer science Software engineering Mathematical software Formal methods Logic in computer science Proof assistants Automated theorem proving Automated reasoning Satisfiability modulo theories E theorem prover ACL2 Isabelle
23	The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization, Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:41:20 Computer programming Theoretical computer science Software engineering Logic in computer science Computational complexity theory Boolean algebra NP-complete problems Formal methods Boolean satisfiability problem Conditional Reduction Algorithm
24	Automatic 3D Mesh Generation from a Single Hand-Drawn Sketch Nishant Shukla University of California, Los Angeles CS 268: Final Project Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Graph theory Planar graphs Graph operations Line graph Graph Dual graph Steinitz's theorem Topology Vertex Neighbourhood Connectivity Cycle
25	High-resolution magnetic resonance imaging reveals nuclei of the human amygdala_ manual segmentation to automatic atlas Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2017-06-27 10:38:51 Brain Neuroscience Cerebrum Neuropsychology Amygdala Basal ganglia Mood disorders Central nucleus of the amygdala Limbic system Alzheimer's Disease Neuroimaging Initiative Hypothalamus Striatum
26	State of Alaska Division of Elections PFD Automatic Voter Registration Manual Add to Reading List Source URL: www.elections.alaska.gov Language: English - Date: 2017-11-01 15:32:16 Election law Voting Voter registration Elections Politics Electoral fraud National Voter Registration Act Presidency of Bill Clinton Voter Identification laws Voter database Electoral roll
27	Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computing Computer architecture Computer memory Transaction processing Theoretical computer science Memory barrier Consistency model Memory ordering Model theory Algorithm Formal language Constraint
28	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
29	Distributed Computing Prof. R. Wattenhofer Automatic Music Generation with Deep Learning In this thesis we want to come up with new methods for automatic music generation based Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-14 07:40:17 Education Technology Online education Open educational resources Cybernetics Learning Computational neuroscience Machine learning Andrew Ng Coursera Udacity Artificial intelligence
30	Distributed Computing Prof. R. Wattenhofer Automatic Karaoke Song Annotation with Deep Learning Be it KTV or Singstar; karaoke is a pastime loved by many. However, creating new karaoke Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-10-11 05:15:40 Educational technology Online education Open educational resources Education Human behavior Learning Reference Coursera Deep learning Karaoke Andrew Ng Udacity

UPDATE