Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
591	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2006-11-13 23:11:33 Active contour model Template matching Edge detection Part-based models Active shape model Shape context Scale-invariant feature transform Computer vision Image processing Segmentation
592	The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data Julia E. Vogt Computer Science Department, University of Basel, Basel, Switzerland Sandhya Prabhakaran Add to Reading List Source URL: cs-wwwarchiv.cs.unibas.ch Language: English - Date: 2010-06-28 10:55:02 Matrix theory Matrices Mathematical physics Stochastic processes Random matrix Eigenvalues and eigenvectors Chinese restaurant process Orthogonal matrix Dirichlet process Algebra Linear algebra Mathematics
593	Basic Plasma Concepts and Models Amitava Bhattacharjee University of New Hampshire 2010 Heliophysics Summer School Add to Reading List Source URL: www.heliophysics.ucar.edu Language: English - Date: 2010-12-14 17:05:46 Planetary science Electromagnetism Guiding center Plasma Adiabatic invariant Magnetosphere Magnetic field Magnetic mirror Magnetosphere particle motion Physics Plasma physics Space plasmas
594	Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach Vivien Maisonneuve CRI, Mathématiques et systèmes MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-10-05 08:55:03 The Transformers Humanities Affine transformation Convex function Dimension Affine geometry Transformer Mathematical analysis
595	ALICe: A Framework to Improve Aﬃne Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-16 04:29:27 Loop invariant Invariant Control flow Abstract interpretation State space Mathematics Science Knowledge Control theory Cybernetics Model checking
596	Proceedings ICMC\|SMC\|September 2014, Athens, Greece Timbre-invariant Audio Features for Style Analysis of Classical Music Christof Weiß Add to Reading List Source URL: matthiasmauch.de Language: English - Date: 2015-01-08 12:39:01 Chord Pitch class Interval Harmony Key Timbre Tone cluster DV Piano Music Post-tonal music theory Musical notation
597	Translation of Lyapunov Stability Proofs to Machine Arithmetic Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-07-04 04:43:24 Simulation software Science Software Lyapunov stability Stability Lyapunov theory Simulink Control theory Invariant Dynamical systems Mathematics Stability theory
598	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
599	NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 05:35:01 Control flow Loop invariant Transformer Precondition KeY Group action Predicate transformer semantics Theoretical computer science Software engineering Mathematics
600	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow

UPDATE