Computation

Results: 6765



#Item
741Computing / Software / Human-based computation / Crowdsourcing / User interface techniques / Humancomputer interaction / Social information processing / Amazon Mechanical Turk / MapReduce / User interface / Usability / CrowdFlower

CrowdScape: Interactively Visualizing User Behavior and Output Jeffrey M. Rzeszotarski, Aniket Kittur Human-Computer Interaction Institute Carnegie Mellon University {jeffrz, nkittur}@cs.cmu.edu

Add to Reading List

Source URL: jeffrz.com

Language: English - Date: 2016-07-11 17:46:19
742Software engineering / Concurrency / Models of computation / Constraint programming / Diagrams / Programming paradigms / Formal methods / Theoretical computer science / Petri net / Constraint logic programming / Decomposition method

OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti

Add to Reading List

Source URL: tenor2015.tenor-conference.org

Language: English - Date: 2015-05-26 15:55:56
743Evolutionary algorithms / Evolutionary computation / Evolution / Cybernetics / Applied mathematics / Artificial intelligence / Theoretical computer science / Computer art / Evolutionary art / Evolutionary music / Genetic and Evolutionary Computation Conference / Genetic algorithm

Genet Program Evolvable Mach:281–286 DOIs10710z EDITORIAL Guest editorial: special issue on biologically inspired music, sound, art and design

Add to Reading List

Source URL: cdv.dei.uc.pt

Language: English - Date: 2014-03-10 13:38:46
744Theoretical computer science / Science / Formal sciences / Algorithmic game theory / Game theory / Theory of computation / Emerging technologies / Algorithmic / Quantum computing / Quantum mechanics / Quantum information / Computational science

The Computational Worldview and the Sciences: a Report on Two Workshops Sanjeev Arora∗ Avrim Blum† Leonard J. Schulman‡ Alistair Sinclair§

Add to Reading List

Source URL: users.cms.caltech.edu

Language: English - Date: 2007-10-12 19:44:00
745Mathematics / Theoretical computer science / Theory of computation / Structural complexity theory / Computability theory / Halting problem / Mathematical proof / Undecidable problem / Negation / Reductio ad absurdum / Reduction / Square root of 2

Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary

Add to Reading List

Source URL: philosopher-animal.com

Language: English - Date: 2007-04-18 22:48:16
746Computational complexity theory / Theory of computation / Mathematics / Complexity classes / Analysis of algorithms / Graph coloring / Theoretical computer science / Algorithm / NP / Time complexity / Greedy algorithm / P

fea-mcgeoch.qxp:58 AM

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2001-02-16 13:50:35
747Operations research / Mathematical optimization / Mathematics / Numerical analysis / Linear programming / CPLEX / Algorithm / Simplex algorithm / Simplex / Integer programming / MPS / Travelling salesman problem

107 Documenta Math. A Brief History of Linear and Mixed-Integer Programming Computation

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2012-07-25 10:24:47
748Natural language parsing / Statistics / Probability / Software / Data-oriented parsing / Lexical functional grammar / Stochastic context-free grammar / Parsing / Dilution of precision / Estimator / Monte Carlo method / SYNTAX

An Improved Parser for Data-Oriented Lexical-Functional Analysis Rens Bod Informatics Research Institute, University of Leeds, Leeds LS2 9JT, UK, & Institute for Logic, Language and Computation, University of Amsterdam r

Add to Reading List

Source URL: www.nclt.dcu.ie

Language: English - Date: 2006-07-24 06:56:07
749Mathematical optimization / Evolutionary computation / Evolutionary algorithms / Genetic and Evolutionary Computation Conference / Applied mathematics / Theoretical computer science / Cybernetics / Numerical analysis / Operations research / Kalyanmoy Deb / Genetic algorithm / Multi-objective optimization

GECCO 2005: Genetic and Evolutionary Computation COnference A recombination of: 10th Annual Genetic Programming Conference (GPand 14th International Conference on Genetic Algorithms (ICGAJune 25-29, 2005

Add to Reading List

Source URL: www.isgec.org

Language: English - Date: 2004-06-21 20:41:00
750Cryptography / Interpolation / Polynomials / Mathematics / Secure multi-party computation / Secret sharing / Lagrange polynomial / Finite field / Verifiable secret sharing

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

Add to Reading List

Source URL: www.crypto.ethz.ch

Language: English - Date: 2015-04-27 13:05:10
UPDATE