Matti - PDFSEARCH.IO - Document Search Engine

Matti
Results: 546

#	Item
291	The initial location at the University of Vaasa, Finland http://lipas.uwasa.fi/~ts/publicat/PerceSalmiHeikkila.pdf Salmi, Timo and Matti Heikkilä ([removed]Determination of Majority and Minority Interest Percentages for C Add to Reading List Source URL: lipas.uwasa.fi Language: English - Date: 2009-04-03 05:35:18 Generally Accepted Accounting Principles Financial statements Mergers and acquisitions Financial accounting Equity securities Consolidation Minority interest Controlling interest Equity method Finance Business Accountancy
292	UAV-basierte Fernerkundung in der Agronomie UAV based Remote Sensing in Agriculture Stephan Nebiker, Adrian Annen, Eric Matti FHNW University of Applied Sciences Northwestern Switzerland Institute of Geomatics Engineerin Add to Reading List Source URL: www.sgpf.ch Language: English - Date: 2012-12-20 13:18:00 Miniature UAV Computer vision Mississippi Remote sensing Mississippi School for Mathematics and Science National security Digital camera Unmanned aerial vehicles Signals intelligence Military terminology
293	UAV-basierte Fernerkundung in der Agronomie UAV based Remote Sensing in Agriculture Stephan Nebiker, Adrian Annen, Eric Matti FHNW University of Applied Sciences Northwestern Switzerland Institute of Geomatics Engineerin Add to Reading List Source URL: www.sgpbf.ch Language: English - Date: 2012-12-20 13:18:00 Miniature UAV Computer vision Mississippi Remote sensing Mississippi School for Mathematics and Science National security Digital camera Unmanned aerial vehicles Signals intelligence Military terminology
294	Efficient CNF Simplification based on Binary Implication Graphs⋆ Marijn Heule1 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-06-03 17:52:43 Propositional calculus Automated theorem proving Mathematical logic Logic in computer science NP-complete problems Conjunctive normal form Boolean satisfiability problem Resolution Unit propagation Theoretical computer science Logic Mathematics
295	Blocked Clause Elimination Matti J¨arvisalo1 , Armin Biere2 , and Marijn Heule 3 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-12-21 10:55:55 NP-complete problems Conjunctive normal form Automated theorem proving Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
296	Clause Elimination Procedures for CNF Formulas Marijn Heule1 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Department of Software Technology, Delft University of Technology, The Netherlands Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:34:30 Automated theorem proving Mathematical logic Propositional calculus Logic in computer science NP-complete problems Conjunctive normal form Resolution Boolean satisfiability problem Unit propagation Theoretical computer science Logic Mathematics
297	Revisiting Hyper Binary Resolution Marijn J.H. Heule1,3 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Department of Computer Science, The University of Texas at Austin, United States Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:06:39 Automated theorem proving Logic in computer science NP-complete problems Conjunctive normal form Resolution Unit propagation Boolean satisfiability problem Literal Transitivity Theoretical computer science Mathematical logic Mathematics
298	Covered Clause Elimination Marijn Heule∗ TU Delft, The Netherlands Matti J¨arvisalo† Univ. Helsinki, Finland Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:30:47 Automated theorem proving Logic in computer science NP-complete problems Logic programming Conjunctive normal form Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematical logic Mathematics
299	Blocked Clause Elimination and its Extensions Marijn J. H. Heule∗ joint work with Matti J¨arvisalo and Armin Biere Abstract Boolean satisfiability (SAT) has become a core technology in many application Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 08:16:51 NP-complete problems Conjunctive normal form Automated theorem proving Boolean satisfiability problem Resolution Logic programming 2-satisfiability Theoretical computer science Mathematics Applied mathematics
300	Unsupervised Morpheme Analysis Evaluation by a Comparison to a Linguistic Gold Standard – Morpho Challenge 2007 Mikko Kurimo, Mathias Creutz, Matti Varjokallio Adaptive Informatics Research Centre, Helsinki University Add to Reading List Source URL: eprints.pascal-network.org Language: English - Date: 2008-01-14 17:18:07 Morpheme Morphology Lexicon Suffix Inflection Word stem Linguistics Linguistic morphology Grammar

UPDATE