James - PDFSEARCH.IO - Document Search Engine

James
Results: 61490

#	Item
1	One-shot learning of generative speech concepts Brenden M. Lake* Chia-ying Lee* James R. Glass Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2014-05-02 16:26:56 Artificial intelligence Learning Machine learning Computational linguistics Markov models Hierarchical hidden Markov model Bayesian statistics Speech recognition Hidden Markov model Dynamic time warping Language model Speech perception
2	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–360) GAPS BETWEEN PRIMES James Maynard Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Mathematics Number theory Discrete mathematics Analytic number theory Prime numbers Additive number theory Prime gap Twin prime ElliottHalberstam conjecture GreenTao theorem Primes in arithmetic progression Chebotarev's density theorem
3	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
4	Estimating the strength of unlabeled information during semi-supervised learning Brenden M. Lake () Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology James L. McClelland (m Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2011-05-20 18:34:42 Machine learning Semi-supervised learning Labeled data Supervised learning
5	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
6	TENCENT AND MGM ANNOUNCE DEAL FOR ONLINE RIGHTS TO ENTIRE JAMES BOND FRANCHISE IN CHINA Movie fans in China to get access to the complete 007 series Shenzhen, China, November 6, Tencent Holdings Limited (“Tencen Add to Reading List Source URL: www.tencent.com Language: English - Date: 2018-07-12 03:03:11 Film Cinema of the United States Entertainment British films James Bond films English-language films James Bond Tencent Danjaq Eon Productions Spectre James Bond in video games
7	Namespacing in SELinux Linux.conf.au 2018 Sydney, Australia James Morris Add to Reading List Source URL: namei.org Language: English - Date: 2018-01-21 22:58:22 System software Computer architecture Linux kernel Access control AppArmor Mandatory access control Linux Security Modules Smack LXC Linux namespaces Cgroups Linux containers
8	WorldECR US: ‘toughest ever’ North Korea sanctions 2 WorldECR visits the James Martin Center for Add to Reading List Source URL: www.mme.ch Language: English - Date: 2018-08-13 09:32:09
9	FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:45 Computing Computer memory Hardware acceleration Central processing unit Parallel computing Computer hardware Dynamic random-access memory Computer architecture Field-programmable gate array
10	From: Ho, James (Judiciary) <> To: Add to Reading List Source URL: int.nyt.com Language: English - Date: 2018-09-06 09:17:57 Supreme Court of the United States Manuel Miranda Political parties Republican Party Right-wing politics Conservatism