Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
581	Feature Matching and Robust Fitting Read Szeliski 4.1 Computer Vision CS 143, Brown James Hays Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-09-25 13:52:17 Feature Scale-invariant feature transform Computer vision Image processing Maximally stable extremal regions
582	Continuous evolution of functions and measures toward fixed points of contraction mappings Jerry L. Bona1 and Edward R. Vrscay2 1 Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-06-27 13:12:15 Lipschitz continuity Invariant measure Support Mathematical analysis Derivative Differential calculus
583	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
584	Unstable Vassiliev theory Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-11-25 14:02:39 Algebraic topology Spectral sequence Vasilyev Finite type invariant Knot theory Abstract algebra Knot invariant
585	Linear Invariant Generation Using Non-Linear Constraint Solving Michael A. Col´ on, Sriram Sankaranarayanan and Henny B. Sipma ? Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-01-17 02:10:20
586	Reasoning Algebraically About P-Solvable Loops Laura Kov´acs ? EPFL, Switzerland Abstract. We present a method for generating polynomial invariants for a subfamily of imperative loops operating on Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Polynomials Invariant theory Commutative algebra PP Recurrence relation Characteristic polynomial IP Tutte polynomial Mathematics Algebra Abstract algebra
587	Discovery of Invariants through Automated Theory Formation Maria Teresa Llano1 Gudmund Grov2 1 School Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Invariant Heriot Conjecture
588	Spatial Priors for Part-Based Recognition using Statistical Models David Crandall1 Cornell University Pedro Felzenszwalb Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2007-05-22 23:30:59 Image processing Artificial intelligence Estimation theory Object recognition Maximum likelihood Edge detection One-shot learning Scale-invariant feature transform Computer vision Vision Imaging
589	Invariant Generation for P-solvable Loops with Assignments Laura Kov´acs ? EPFL, Swizterland Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Polynomials Invariant theory Commutative algebra Recurrence relation IP Rational function PP Tutte polynomial Algebraic geometry Abstract algebra Mathematics Algebra
590	CONTENTS Introduction LECTURE 1: HYDROLOGIC SYSTEMS The Systems Approach Linear Time-Invariant Systems Identification and Simulation Add to Reading List Source URL: publications.copernicus.org Language: English - Date: 2014-04-17 09:42:28 Earth Water Hydrograph Fluid dynamics Scientific modelling Hydrological modelling Hydrogeology Hydrology Hydraulic engineering Civil engineering

UPDATE