Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
551	Expression-Invariant 3D Face Recognition Alexander M. Bronstein1, Michael M. Bronstein1, and Ron Kimmel2 Technion – Israel Institute of Technology Department of Electrical Engineering, Haifa 32000, Israel {alexbron,bro Add to Reading List Source URL: www.face-rec.org Language: English - Date: 2005-05-25 12:17:36 Artificial intelligence Visual effects Computer vision Three-dimensional face recognition Facial recognition system Object recognition Gesture recognition Eigenface 3D modeling Face recognition Vision Imaging
552	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:26:03 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
553	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh www.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematics Mathematical proof Knowledge Automated theorem proving Heuristics Rippling
554	A Semantic Recognizer Infrastructure for Computing Loop Behavior Ali Mili Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2006-09-05 07:46:39 Cybernetics Compiler optimizations Loop invariant Function Control theory For loop Loop optimization Algorithm Mathematics Control flow Computing
555	Delft University of Technology Software Engineering Research Group Technical Report Series Invariant-Based Automatic Testing of A JAX User Interfaces Add to Reading List Source URL: swerl.tudelft.nl Language: English
556	Construction of Gauge-invariant Variables of Linear Metric Perturbations on an Arbitrary Background Spacetime NAKAMURA, Kouji (NAOJ) Perturbation techiques are powerful in many areas of Add to Reading List Source URL: www.nao.ac.jp Language: English - Date: 2015-03-23 03:19:20 Mathematical physics Quantum mechanics Quantum field theory Cosmological perturbation theory Perturbation theory General relativity Gauge theory Exact solutions in general relativity Spacetime Physics Physical cosmology Theoretical physics
557	Vol 435\|23 June 2005\|doi:nature03687 LETTERS Invariant visual representation by single neurons in the human brain R. Quian Quiroga1,2†, L. Reddy1, G. Kreiman3, C. Koch1 & I. Fried2,4 Add to Reading List Source URL: klab.tch.harvard.edu Language: English - Date: 2012-03-14 18:52:00 Limbic system Neuroanatomy Brain Perception Visual cortex Neuron Primary auditory cortex Functional magnetic resonance imaging Hippocampus Anatomy Cognitive science Cerebrum
558	Location Recognition using Prioritized Feature Matching Yunpeng Li Noah Snavely Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2010-09-03 21:24:03 Vision Bundle adjustment Nearest neighbor search Pose Scale-invariant feature transform Object recognition Computer vision Information science Artificial intelligence
559	From Invariant Checking to Invariant Inference Using Randomized Search Rahul Sharma and Alex Aiken Stanford University, USA {sharmar, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-05-12 00:37:32 Emmy Noether Invariant theory Mathematics Invariant Loop invariant
560	Vol 435\|23 June 2005\|doi:nature03687 LETTERS Invariant visual representation by single neurons in the human brain R. Quian Quiroga1,2†, L. Reddy1, G. Kreiman3, C. Koch1 & I. Fried2,4 Add to Reading List Source URL: klab.tch.harvard.edu Language: English - Date: 2011-12-30 11:49:53 Limbic system Neuroanatomy Brain Perception Visual cortex Neuron Primary auditory cortex Functional magnetic resonance imaging Hippocampus Anatomy Cognitive science Cerebrum

UPDATE