Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
591	High Performance Multi-Standard Architecture for DCT Computation in H.264/AVC High Profile and HEVC Codecs Tiago Dias‡§† , Nuno Roma‡† and Leonel Sousa‡† ‡ INESC-ID Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2015-02-23 03:55:31 Data compression Video compression ISO standards Video Engineering High-definition television Videotelephony Computer file formats High Efficiency Video Coding H.264/MPEG-4 AVC Macroblock H.261
592	Gibson Piantadosi & Fedorenko apr 2011 Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:58:57 Cognitive science Academia Cognition Statistics Generative linguistics Amazon Mechanical Turk Crowdsourcing Human-based computation Social information processing Grammaticality Linguistics The Turk
593	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter
594	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz
595	Publications Daniel Merkle Submitted [FFM+ 13] Fagerberg, R., C. Flamm, D. Merkle, P. Peters and P.F. Stadler: On the Complexity of Reconstructing Chemical Reaction Networkssubmitted. Books [BM11] Blum, C. and D. Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2013-09-06 03:51:46 Evolution Academia Cybernetics Aquatic ecology Behavior Swarm behaviour Zoology Ant colony optimization algorithms Evolutionary computation Lecture Notes in Computer Science Swarm intelligence Algorithmic Number Theory Symposium
596	UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF Add to Reading List Source URL: www.itr.unisa.edu.au Language: English - Date: 1999-01-26 18:27:05 Economy Software engineering Finance Financial markets Concurrency Diagrams Models of computation Petri nets RM-ODP Option Iterator Trader
597	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-16 07:08:02 Theoretical computer science Electronic engineering Models of computation Electrical engineering Computer arithmetic Digital electronics Logic gates Reversible computing Thermodynamics Adder Fredkin gate Quantum computing
598	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
599	The Effects of Sequence and Delay on Crowd Work Walter S. Lasecki1 , Jeffrey M. Rzeszotarski2 , Adam Marcus4 , Jeffrey P. Bigham2,3 Computer Science Department1 University of Rochester Add to Reading List Source URL: jeffrz.com Language: English - Date: 2016-07-11 17:46:15 Crowdsourcing Human-based computation Microtask Time management Business Economy Web 2.0 Microwork
600	Do Mechanical Turks Dream of Square Pie Charts? Robert Kosara Caroline Ziemkiewicz UNC Charlotte Add to Reading List Source URL: kosara.net Language: English - Date: 2015-10-05 00:14:15 Computing Visualization Human-based computation Amazon Mechanical Turk Crowdsourcing Social information processing Data visualization Java applet Usability Information visualization

UPDATE