"An Inference Algorithm for Guaranteeing Safe Destruction"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
A type inference algorithm and transition semantics for polymorphic C	Mustafa Özgen	1996	Naval Postgraduate School;Available from National Technical Information Service
Algorithm & SoC design for automotive vision systems: for smart safe driving system	Kim, Jaeseok; Shin, Hyunchul	2014	Springer
Algorithm & SoC Design for Automotive Vision Systems: For Smart Safe Driving System	Jaeseok Kim, Hyunchul Shin (eds.)	2014	Springer Netherlands
An optimal parallel algorithm for selection.	U. Vishkin	1983	Courant Institute of Mathematical Sciences, New York University
An optimal parallel algorithm for selection	U. Vishkin	1983	Courant Institute of Mathematical Sciences, New York University
Algorithm & SoC Design for Automotive Vision Systems: For Smart Safe Driving System	Jaeseok Kim; Hyunchul Shin	2014	Springer Netherlands
Guaranteeing bank deposits	Wilvan J. Russell	1909
An algorithm for the coefficient of concordance	Rodger D. Collons	1968	Bureau of Business and Economic Research, Georgia State College
An algorithm for the traveling salesman problem	John D. C. Little	1963	M.I.T.
An iteration algorithm for optimal network flows	Chang Joon Woong	1983	Naval Postgraduate School
An algorithm for delay checking computer designs	Jay Merrill Tummelson	1969
An optimal selection algorithm.	Richard Cole	1986	Courant Institute of Mathematical Sciences, New York University
An optimal selection algorithm	Richard Cole	1986	Courant Institute of Mathematical Sciences, New York University
A nonlinear programming algorithm for an array computer	J. M. Mulvey	1969	Dept. of Computer Science, University of Illinois at Urbana-Champaign
An algorithm for optimization of certain allocation models	Paul Theodore Zmuida	1971
A linear time algorithm for finding an ambitus.	B. Mishra	1989	Courant Institute of Mathematical Sciences, New York University
An asynchronous parallel algorithm for undirected graph connectivity.	Richard Cole	1991	Courant Institute of Mathematical Sciences, New York University
An asynchronous parallel algorithm for undirected graph connectivity	Richard Cole	1991	Courant Institute of Mathematical Sciences, New York University
An adaptive lattice algorithm for spectral line estimation	Ill Koo Park	1987
Employing India: guaranteeing jobs for the rural poor /	Zepeda, Eduardo,; McDonald, Scott; Panda, Manoj,; Ganesh-Kumar, A.
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
An Inference Algorithm for Guaranteeing Safe Destruction	Manuel Montenegro; Ricardo Peña; Clara Segura	Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers	Michael Hanus	2009	Springer Berlin Heidelberg
An inference algorithm for strictness	Ferruccio Damiani; Paola Giannini	Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA ' 97, Nancy, France, April 2-4, 1997, Proceedings	Philippe Groote; J. Roger Hindley	1997	Springer Berlin Heidelberg
An inference algorithm for strictne		Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings	Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)	1997	Springer-Verlag Berlin Heidelberg
An algorithm for safe plans		Probabilistic databases	Dan Suciu	2011	Morgan & Claypool
AN EFFICIENT ALGORITHM FOR RSFG INFERENCE		Rough Computing: Theories, Technologies and Applications	Aboul Ella Hassanien, Aboul Ella Hassanien, Zbigniew Suraj, Dominik Slezak, Pawan Lingras	2007	IGI Global
An incremental interactive algorithm for regular grammar inference	Rajesh Parekh; Vasant Honavar	Grammatical Inference: Learning Syntax from Sentences: Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996. Proceedings	Laurent Miclet; Colin de la Higuera	1996	Springer Berlin Heidelberg
TRADITIONAL ALGORITHM FOR RSFG INFERENCE		Rough Computing: Theories, Technologies and Applications	Aboul Ella Hassanien, Aboul Ella Hassanien, Zbigniew Suraj, Dominik Slezak, Pawan Lingras	2007	IGI Global
EventNet Inference Algorithm		MICAI 2005: Advances in Artificial Intelligence: 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005,	Alexander Gelbukh, Hugo Terashima	2005	Springer
An Online Inference Algorithm for Labeled Latent Dirichlet Allocation	Qiang Zhou; Heyan Huang; Xian-Ling Mao	Web Technologies and Applications: 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings	Reynold Cheng; Bin Cui; Zhenjie Zhang; Ruichu Cai; Jia Xu	1st ed. 2015	Springer International Publishing
An appetite for destruction	Chuck Tate	The psychology of superheroes: an unauthorized exploration	Robin Rosenberg	2008	BenBella Books;Distributed by Independent Publishers Group
A genetic algorithm for grammatical inference	Marc M. Lankhorst	High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications	Wolfgang Gentzsch; Uwe Harms	1994	Springer Berlin Heidelberg
933 Directed Graphical Models: An Inference Algorithm		Artificial Intelligence: Structures and Strategies for Complex Problem Solving (5th Edition)	George F Luger	2005	Pearson Education Limited
An Efficient Algorithm for the Inference of Circuit-Free Automata	H. Rulot; E. Vidal	Syntactic and Structural Pattern Recognition	Gabriel Ferrate; Theo Pavlidis; Alberto Sanfeliu; Horst Bunke	1988	Springer Berlin Heidelberg
An Inference Algorithm for Probabilistic Fault Management in Distributed Systems	Jianguo Ding; Bernd Krämer; Yingcai Bai; Hansheng Chen	Network Control and Engineering for QOS, Security and Mobility, III: IFIP TC6 / WG6. 2, 6. 6, 6. 7 and 6. 8. Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain	Dominique Gaïti; Sebastià Galmés; Ramon Puigjaner	2005	Springer US
An Integrated Deterministic and Nondeterministic Inference Algorithm for Sequential Labeling	Yu-Chieh Wu; Yue-Shi Lee; Jie-Chi Yang; Show-Jane Yen	Information Retrieval Technology: 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings	Pu-Jen Cheng; Min-Yen Kan; Wai Lam; Preslav Nakov	2010	Springer Berlin Heidelberg
An Efficient Algorithm for Inference in Rough Set Flow Graphs	C. J. Butz; W. Yan; B. Yang	Transactions on Rough Sets V	James F. Peters; Andrzej Skowron	2006	Springer Berlin Heidelberg
A Local Search Algorithm for Grammatical Inference	Wojciech Wieczorek	Grammatical Inference: Theoretical Results and Applications: 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings	José Sempere; Pedro García	2010	Springer Berlin Heidelberg
A Logical Algorithm for ML Type Inference	David McAllester	Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings	Robert Nieuwenhuis	2003	Springer Berlin Heidelberg
Using the junction tree algorithm for inference		Building Probabilistic Graphical Models with Python	Kiran R Karkera	2014	Packt Publishing
31 Algorithm for Inference with Implication Networks		Advances in Data Mining and Modeling: Hong Kong 27 - 28 June 2002	Wai-Ki Ching, Michael Kwok-Po Ng	2003	World Scientific
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"An Inference Algorithm for Guaranteeing Safe Destruction" - similar Books and Chapters