Machine - PDFSEARCH.IO - Document Search Engine

Machine
Results: 42611

#	Item
941	Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Volkmar Uhlig Add to Reading List Source URL: cgi.di.uoa.gr - Date: 2010-10-21 06:12:58
942	Alignment for Advanced Machine Learning Systems Jessica Taylor and Eliezer Yudkowsky and Patrick LaVictoire and Andrew Critch Machine Intelligence Research Institute {jessica,eliezer,patrick,critch}@intelligence.org Abs Add to Reading List Source URL: intelligence.org - Date: 2016-07-27 19:50:10
943	5.4 HEAVY MACHINE TOOLS The huge machines amaze laymen, but the knowledgeable expert looks at the crane loading capacity at first. Energy industry, aircraft industry, space industry, mining industry, marine industry, pet Add to Reading List Source URL: www.mmspektrum.com - Date: 2015-09-30 05:23:05
944	Synchronous Binarization for Machine Translation Hao Zhang Liang Huang Computer Science Department Dept. of Computer & Information Science University of Rochester Add to Reading List Source URL: www.aclweb.org - Date: 2010-06-14 20:51:42
945	1.8 DESIGNING PROCESS OF A NEW SAFE MACHINE TOOL Machine tools which are placed on the market in EU countries must be in accordance with all relevant legal rules. The machine manufacturer as well as subsuppliers of parti Add to Reading List Source URL: www.mmspektrum.com - Date: 2015-09-30 05:22:49
946	Foundational Proof-Carrying Code Andrew W. Appel∗ Princeton University Abstract Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem aris Add to Reading List Source URL: www.cs.princeton.edu - Date: 2001-04-04 11:21:06
947	TectoMT TectoMT: Deep-Syntactic Machine Translation Martin Popel ÚFAL (Institute of Formal and Applied Linguistics) Add to Reading List Source URL: ufal.mff.cuni.cz - Date: 2016-08-12 17:55:41
948	An Infinite Restricted Boltzmann Machine arXiv:1502.02476v4 [cs.LG] 18 Mar 2016 Marc-Alexandre Cˆ ot´ e1 , Hugo Larochelle1 Add to Reading List Source URL: arxiv.org - Date: 2016-03-20 20:44:12
949	7.3 MECHATRONICS AT DESIGNING OF CNC MACHINE TOOLS The term mechatronics was created to designate such elements/components, whose functions were extended by implementation of electronics and computer control. Thanks to t Add to Reading List Source URL: www.mmspektrum.com - Date: 2015-09-30 05:23:08
950	610 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL. 22, Add to Reading List Source URL: www.cs.jhu.edu - Date: 2002-08-09 09:34:56

UPDATE