Algorithm - PDFSEARCH.IO - Document Search Engine

Algorithm
Results: 17634

#	Item
371	SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: www.cs.cmu.edu - Date: 2014-08-20 17:05:42
372	Trickle: A Self-Regulating Algorithm for Code Propagation and Maintenance in Wireless Sensor Networks Philip Levis†‡ , Neil Patel† , David Culler†‡ , and Scott Shenker†? {pal,culler,shenker}@eecs.berkeley.edu Add to Reading List Source URL: www.stanford.edu - Date: 2010-03-18 22:48:42
373	Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP∗ Matthias Englert Heiko R¨oglin Add to Reading List Source URL: roeglin.org - Date: 2013-06-03 15:36:40
374	QuickeNing: A Generic Quasi-Newton Algorithm for Faster Gradient-Based Optimization Hongzhou Lin, Julien Mairal, Zaid Harchaoui To cite this version: Hongzhou Lin, Julien Mairal, Zaid Harchaoui. QuickeNing: A Generic Qua Add to Reading List Source URL: hal.inria.fr - Date: 2016-12-19 07:38:05
375	A Fast Online Algorithm for Large Margin Training of Continuous Density Hidden Markov Models Chih-Chieh Cheng1 , Fei Sha2 , Lawrence K. Saul1 1 Department of Computer Science and Engineering, University of California, S Add to Reading List Source URL: cseweb.ucsd.edu - Date: 2009-06-18 22:51:29
376	The Forward-Backward Algorithm Michael Collins 1 Introduction Add to Reading List Source URL: www.cs.columbia.edu - Date: 2012-03-21 14:48:57
377	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Introduction The terms “Algebra” and “Algorithm” both originate from the same Add to Reading List Source URL: www.sumofsquares.org - Date: 2016-11-17 19:44:26
378	Incremental Parsing with the Perceptron Algorithm Michael Collins MIT CSAIL Abstract Add to Reading List Source URL: www.aclweb.org - Date: 2010-06-15 02:38:13
379	UFOMQ: An Algorithm for Querying for Similar Individuals in Heterogeneous Ontologies Yinuo Zhang1 , Anand Panangadan2 , Viktor K. Prasanna2 1 2 Add to Reading List Source URL: ganges.usc.edu - Date: 2015-11-18 16:58:46
380	Asymptotically Optimal Algorithm for Stochastic Adwords Nikhil R. Devanur, Microsoft Research Balasubramanian Sivan, University of Wisconsin-Madison Yossi Azar, Tel-Aviv University In this paper we consider the adwords Add to Reading List Source URL: pages.cs.wisc.edu - Date: 2015-08-05 17:30:29

UPDATE