Algorithm

Results: 17634



#Item
561Computing / Concurrency control / Software / Software transactional memory / Non-blocking algorithm / Lock / Parallel computing / Concurrency / Concurrent data structure / Separation logic / Thread / Concurrent computing

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2013-12-03 05:32:06
562Mathematics / Equations / Algorithm / Mathematical logic / Theoretical computer science / Equation solving / Abstraction / Philosophy of mathematics

Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-19 00:29:12
563Computer programming / Mathematics / Applied mathematics / Theoretical computer science / Sorting algorithms / Operations research / Analysis of algorithms / Merge sort / Divide and conquer algorithms / Algorithm / Recursion / Time complexity

CSE 181 Project guidelines

Add to Reading List

Source URL: www.cs.bilkent.edu.tr

Language: English - Date: 2012-10-16 07:22:21
564Graph theory / Network flow / Mathematics / EdmondsKarp algorithm / Flow network / Maximum flow problem / FordFulkerson algorithm / Cut / Graph traversal / Minimum cut / Shortest path problem / Max-flow min-cut theorem

CS261: A Second Course in Algorithms Lecture #2: Augmenting Path Algorithms for Maximum Flow∗ Tim Roughgarden† January 7, 2016

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2016-01-22 08:04:42
565Scanning probe microscopy / Intermolecular forces / Chemistry / Electronic engineering / Learning / Atomic-force microscopy / Microscopy / Phase-locked loop / Non-contact atomic force microscopy / Atomic force acoustic microscopy

Technology Opportunity, Ref. No. UAA novel algorithm for phase computation in atomic force microscopy A novel algorithm has been developed which provides highly accurate phase measurements. In particular, the al

Add to Reading List

Source URL: www.switt.ch

Language: English - Date: 2015-10-13 03:40:46
566Statistics / Applied mathematics / Machine learning / Learning / Expectationmaximization algorithm / Pattern recognition / Regression analysis / Mixture model / Artificial neural network / Perceptron

EFFICIENT INITIALIZATION OF MIXTURES OF EXPERTS FOR HUMAN POSE ESTIMATION Huazhong Ning, Yuxiao Hu, Thomas Huang ECE Department, U. of Illinois at Urbana-Champaign, Urbana, IL 61801. {hning2,hu3, huang}@ifp.uiuc.edu ABS

Add to Reading List

Source URL: www.ifp.illinois.edu

Language: English - Date: 2008-01-22 16:26:01
567Statistics / Data analysis / Computing / Search algorithms / Covariance and correlation / Multivariate statistics / Machine learning / Mahalanobis distance / Statistical distance / Xeon / Nearest neighbor search / K-nearest neighbors algorithm

MEMOCODE 2014 Design Contest: k-Nearest Neighbors with Mahalanobis Distance Metric Peter Milder Department of Electrical and Computer Engineering Stony Brook University Stony Brook, NY 11794–2350

Add to Reading List

Source URL: www.ece.stonybrook.edu

Language: English - Date: 2014-10-15 09:48:22
568Information retrieval / Information science / Computing / Hashing / Sorting algorithms / Search algorithms / Database management systems / Hash join / Sort-merge join / Hash function / Merge algorithm / Hash table

Memory Footprint Matters: Efficient Equi-Join Algorithms for Main Memory Data Processing

Add to Reading List

Source URL: web.cse.ohio-state.edu

Language: English - Date: 2015-08-14 19:41:23
569Graph theory / Mathematics / Science and technology in the United States / Matching / Jeffrey Ullman / John Hopcroft / Anand Rajaraman / Bipartite graph / Topological graph theory / HopcroftKarp algorithm / Ullman

Note to other teachers and users of these slides: We would be delighted if you found this our material useful in giving your own lectures. Feel free to use these slides verbatim, or to modify them to fit your own needs.

Add to Reading List

Source URL: mmds.org

Language: English - Date: 2014-08-11 13:15:52
570Wireless networking / Computing / Wireless ad hoc network / Network architecture / Routing / Algorithm / Maximum-Residual Multicast Protocol / Greedy Perimeter Stateless Routing in Wireless Networks

Prof. Dr. Roger Wattenhofer phone +fax +Diploma/Master’s Thesis “Comparison of Ad Hoc Routing Algorithms”

Add to Reading List

Source URL: disco.ethz.ch

Language: English - Date: 2014-09-26 08:37:13
UPDATE