Kautz - PDFSEARCH.IO - Document Search Engine

Kautz
Results: 128

#	Item
41	Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-04-13 00:26:28 NP-complete problems Automated theorem proving Constraint programming Boolean algebra Formal methods DPLL algorithm Boolean satisfiability problem Conjunctive normal form Lookup table Theoretical computer science Applied mathematics Mathematics
42	Achim Kautz - Effective Targeted HCV Strategies and Action Plans Add to Reading List Source URL: www.hepatitis-c-initiative.eu Language: English - Date: 2014-10-29 12:20:49 Public health Health Harm reduction Medicine Hepacivac Ethics Hepatitis C Drug culture
43	Knowledge Compilation and Theory Approximation Henry Kautz and Bart Selman Presented by Kelvin Ku Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 18:11:39 Structure Universal algebra Horn clause Logic Mathematical logic Mathematics Model theory
44	DOI: cgfEUROGRAPHICSB. Lévy and J. Kautz (Guest Editors) Volume), Number 2 Add to Reading List Source URL: meshcompression.org Language: English - Date: 2014-04-13 02:10:57 Mathematics Singular value decomposition Statistics Digital audio Audio engineering Principal component analysis Rate–distortion optimization Lossless data compression Lossy compression Algebra Data compression Video compression
45	DOI: cgfEUROGRAPHICSB. Lévy and J. Kautz (Guest Editors) Volume), Number 2 Add to Reading List Source URL: meshcompression.org Language: English - Date: 2014-04-13 02:10:55 3D computer graphics Mesh generation Algebraic graph theory Polygon mesh Virtual reality Laplacian matrix Discrete Laplace operator Data compression Laplace operator Mathematics Mathematical analysis Algebra
46	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 47, NO. 5, MAY[removed]the use of Kautz models, which seem to have large potential in many applications in control theory and signal processing, where modeling of resonant syste Add to Reading List Source URL: www.cim.mcgill.ca Language: English - Date: 2003-03-17 21:23:04 Tribology Physics Force Friction
47	EUROGRAPHICS[removed]B. Lévy and J. Kautz (Guest Editors) Volume[removed]), Number 2 Crack-free rendering of dynamically tesselated B-Rep models Add to Reading List Source URL: www.irit.fr Language: English - Date: 2014-01-06 14:54:59 Rendering Rasterisation Ray casting Pixel Shader Z-buffering 3D modeling Graphics pipeline Multisample anti-aliasing Computer graphics 3D computer graphics Imaging
48	Finding Your Friends and Following Them to Where You Are Adam Sadilek Henry Kautz Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2012-05-15 18:01:37 World Wide Web Networks Cybernetics Markov models Text messaging Twitter Bayesian network Social networking service Internet privacy Statistics Technology Social media
49	Europe-Japan Space Forum 8 October 2014 Christoph Kautz Navigation solutions powered by Europe European satellite navigation programmes Add to Reading List Source URL: eu-japan.eu Language: English - Date: 2014-11-12 22:22:21 Transport Navigation Geodesy European Space Agency Avionics Satellite navigation Galileo European Geostationary Navigation Overlay Service Global Positioning System Satellite navigation systems Technology Spaceflight
50	Managing Quality Teaching in Higher Education “What Works” Conference 5-6 December 2011 CETYS University, Mexicali, Mexico List of speakers (subject to modification) Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 01:20:07 Coimbra Group Eötvös Loránd University Professor Gyula Kautz Péter Érdi Education Academia Knowledge