Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
781	ACTA ARITHMETICA * (201) Integral points of a modular curve of level 11 by Add to Reading List Source URL: www.mat.uniroma2.it Language: English* - Date: 2012-03-24 10:18:02 Analytic number theory Modular forms Algebraic curves Elliptic curve Group theory Elliptic functions Modular curve J-invariant Hessian form of an elliptic curve Abstract algebra Mathematical analysis Mathematics
782	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-04 22:46:44 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
783	SHAPE VS. VOLUME: INVARIANT SHAPE DESCRIPTORS FOR 3D REGION OF INTEREST CHARACTERIZATION IN MRI S. Tootoonian1, R. Abugharbieh1, X. Huang2, and M.J. McKeown3,4 1 Department of Electrical and Computer Engineering, Univer Add to Reading List Source URL: www.ece.ubc.ca Language: English - Date: 2006-05-25 17:33:30 Cerebrum Neurology Basal ganglia Neuroanatomy Topology Caudate nucleus Shape analysis Morphometrics Brain Anatomy Nervous system Biology
784	Lategahn, Henning ; Beck, Johannes ; Kitt, Bernd ; Stiller, Christoph: How to Learn an Illumination Robust Image Feature for Place Recognition. In: IEEE Intelligent Vehicles Symposium. Gold Coast, Australia, June 2013, p Add to Reading List Source URL: www.mrt.kit.edu Language: English - Date: 2013-07-12 03:54:16 Optics Visual descriptors Feature SURF Scale-invariant feature transform Histogram of oriented gradients Computer vision Vision Imaging
785	ESTIMATING PLANAR STRUCTURE IN SINGLE IMAGES BY LEARNING FROM EXAMPLES Osian Haines and Andrew Calway University of Bristol, UK {haines, andrew}@cs.bris.ac.uk Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:06:25 Histogram of oriented gradients Feature Orientation Object recognition Euclidean vector Vector space Histogram Segmentation Scale-invariant feature transform Computer vision Algebra Mathematics
786	PostGutenberg Peer Review the invariant essentials and the newfound efficiencies Invariant Essentials Add to Reading List Source URL: users.ecs.soton.ac.uk Language: English - Date: 2006-05-05 05:31:02 Knowledge Academic literature Scientific method Peer review Preprint Biology Direct Academic publishing Publishing Academia
787	Merging Simulation and Projection Approaches to Solve High-Dimensional Problems with an Application to a New Keynesian model Lilia Maliar and Serguei Maliar March 9, 2014 Abstract Add to Reading List Source URL: www.qeconomics.org Language: English - Date: 2014-11-24 16:20:39 Mathematical optimization Operations research Ergodic theory Markov chain Economic model Dynamic programming Invariant measure Stochastic process Algorithm Statistics Mathematical analysis Mathematics
788	Merging Simulation and Projection Approaches to Solve High-Dimensional Problems with an Application to a New Keynesian model Lilia Maliar and Serguei Maliar March 9, 2014 Abstract Add to Reading List Source URL: qeconomics.org Language: English - Date: 2014-11-24 16:20:39 Mathematical optimization Operations research Ergodic theory Markov chain Economic model Dynamic programming Invariant measure Stochastic process Algorithm Statistics Mathematical analysis Mathematics
789	Robustness Analysis of 3D Feature Descriptors for Object Recognition Using a Time-of-Flight Camera Levente Tamas1 and Bjoern Jensen2 Abstract— In this paper we propose to analyze characteristics of the feature descript Add to Reading List Source URL: www.roboticslab.ti.bfh.ch Language: English - Date: 2014-09-09 06:10:35 Feature Segmentation Object recognition Vector Field Histogram SURF Scale-invariant feature transform Histogram of oriented gradients Computer vision Artificial intelligence Visual descriptors
790	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2007-02-12 21:22:45 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing

UPDATE