Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
991	Loop summarization and termination analysis? Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M. Wintersteiger2 , and Daniel Kroening2 1 Formal Verification and Security Group, University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-01-11 17:53:38 Computer programming Loop invariant Termination analysis Invariant For loop Infinite loop Algorithm Software engineering Computing Control flow
992	C ONTRIBUTED R ESEARCH A RTICLES 162 mpoly: Multivariate Polynomials in R by David Kahle Add to Reading List Source URL: journal.r-project.org Language: English - Date: 2013-07-02 14:20:06 Polynomials Commutative algebra Invariant theory Computer algebra Algebraic geometry Gröbner basis Monomial order SymPy Derivative Abstract algebra Mathematics Algebra
993	Sign Classification using Local and Meta-Features Marwan A. Mattar, Allen R. Hanson, and Erik G. Learned-Miller Computer Vision Laboratory Department of Computer Science University of Massachusetts Amherst, MA[removed]USA Add to Reading List Source URL: vis-www.cs.umass.edu Language: English - Date: 2008-01-02 15:36:22 Artificial intelligence Object recognition Shape context Feature Statistical classification Scale-invariant feature transform Boosting methods for object categorization Computer vision Vision Imaging
994	Distribution Fields Laura Sevilla-Lara, Erik Learned-Miller Technical Report UM-CS[removed], University of Massachusetts Amherst 1 Add to Reading List Source URL: vis-www.cs.umass.edu Language: English - Date: 2011-08-24 14:06:17 Vision Signal processing Artificial intelligence Segmentation Visual descriptors Feature Gaussian filter Histogram of oriented gradients Scale-invariant feature transform Computer vision Image processing Gaussian function
995	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
996	Distribution Fields for Tracking Laura Sevilla-Lara Erik Learned-Miller University of Massachusetts Amherst {lsevilla, elm}@cs.umass.edu Add to Reading List Source URL: vis-www.cs.umass.edu Language: English - Date: 2012-04-13 12:33:00 Vision Optics Video tracking Scale space Feature Smoothing Visual descriptors Histogram of oriented gradients Scale-invariant feature transform Computer vision Image processing Imaging
997	Learning to discount transformations as the computational goal of visual cortex Joel Z Leibo Jim Mutch Tomaso Poggio Add to Reading List Source URL: cbcl.mit.edu Language: English - Date: 2011-06-17 11:12:15 Computer vision Cognitive neuroscience Conservation laws CBCL Massachusetts Institute of Technology Vision Object recognition Invariant Tomaso Poggio Neuroscience Artificial intelligence Optics
998	CONTRAST INVARIANT AND AFFINE SUB-PIXEL OPTICAL FLOW Neus Sabater, S´ebastien Leprince, and Jean-Philippe Avouac Geological and Planetary Sciences Division California Institute of Technology {sabater, leprincs}@caltech. Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2014-04-24 14:08:59 Image processing Digital geometry Physics Optical flow Motion estimation Signal processing
999	arXiv:1404.0400v1 [cs.SD] 1 Apr[removed]CBMM Memo No. 002 March[removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-04-02 20:33:59 Representation theory Image processing Computer vision Invariant Group representation Convolution Object recognition Abstract algebra Mathematics Algebra
1000	Invariant Theory (IT) & Standard Monomial Theory (SMT) K. N. Raghavan, IMSc, Chennai 06 July 2013 Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2013-07-16 08:25:36 Topology Geometric topology Differential geometry Differential topology Spheres Surgery theory Invariant Mathematics Geometry