Algorithm - PDFSEARCH.IO - Document Search Engine

Algorithm
Results: 17634

#	Item
761	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
762	Computing the Complete CS Decomposition Brian D. Sutton∗ May 20, 2008 Abstract An algorithm for computing the complete CS decomposition of a partitioned unitary matrix is developed. Although the existence of the CS dec Add to Reading List Source URL: faculty.rmc.edu Language: English - Date: 2008-05-20 14:06:05 Algebra Linear algebra Mathematics Numerical linear algebra Sparse matrices Matrix theory Matrices Singular value decomposition Bidiagonalization Bidiagonal matrix QR algorithm Orthogonal matrix
763	Electronic Companion A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST and Columbia University Add to Reading List Source URL: www.rmi.nus.edu.sg Language: English - Date: 2013-06-18 07:37:50 Measure theory Formal languages Symbol Sigma-algebra
764	EFFICIENT SETTLEMENT SELECTION FOR INTERACTIVE DISPLAY Marc van Kreveld* Rene van Oostrum* Department of Computer Science Utrecht University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:34:30 Mathematics Computational geometry Diagrams Discrete geometry Voronoi diagram Search algorithms K-nearest neighbors algorithm Delaunay triangulation Algorithm Computer science Discrete mathematics
765	Microsoft PowerPoint - Chapterpptx Add to Reading List Source URL: www.ife.ee.ethz.ch Language: English - Date: 2015-10-20 04:16:31 Decision trees Machine learning Artificial intelligence Learning Decision tree learning C4.5 algorithm Feature selection Supervised learning Bootstrap aggregating Pruning Random forest Tree
766	CSE 584A Class 21 Jeremy Buhler April 11, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-04-11 07:29:21 Computational phylogenetics Bioinformatics Biology Tree alignment BLAST SmithWaterman algorithm Multiple sequence alignment NeedlemanWunsch algorithm
767	Algorithm 2 Shapes √ , 7 , − 4 ), which lies on the Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-20 18:57:13 Mathematics Geometry Surfaces Space Topology Elementary geometry Differential geometry Computer graphics Differential geometry of surfaces Triangle Cone Sphere
768	Coastal Water Algorithm for OLCI Doerffer, R1,2; Brockmann, C1; Bourg, L3 1Brockmann Consult, (GERMANY); 2HZG (Germany) 3ACRI, (FRANCE) Coastcolour User Consultation Meeting Darmstadt May Add to Reading List Source URL: www.coastcolour.org Language: English - Date: 2013-05-21 05:10:07 Computing Software Earth observation satellites Computer performance Data transmission IOPS IOP MERIS NN Rpath
769	Tight Bounds for Parallel Randomized Load Balancing [Extended Abstract] ∗ Christoph Lenzen Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:31 Analysis of algorithms Computational complexity theory Theory of computation Mathematics Balls into bins With high probability Sorting algorithm Leader election Time complexity Entropy Best worst and average case Big O notation
770	Proc. of the 12th Int. Conference on Digital Audio Effects (DAFx-09), Como, Italy, September 1-4, 2009 INFORMED SELECTION OF FRAMES FOR MUSIC SIMILARITY COMPUTATION Klaus Seyerlehner, Tim Pohle Gerhard Widmer, Dominik Add to Reading List Source URL: www.cp.jku.at Language: English - Date: 2009-10-07 06:10:34 Statistics Probability distributions Statistical classification Stable distributions Machine learning Search algorithms KullbackLeibler divergence K-nearest neighbors algorithm Normal distribution Multivariate normal distribution Pattern recognition Support vector machine

UPDATE