Text-based - PDFSEARCH.IO - Document Search Engine

Text-based
Results: 1144

#	Item
411	A Tutorial on Omega The Omega calculator is a text-based interface to the Omega library, a set of C++ classes for manipulating integer tuple sets and relations. Its applications include dependence analysis, program trans Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-04 03:07:47 Software engineering Data dependency Dependence analysis I1 Computing Computer programming Functional languages Compilers Q
412	[removed]:01 AM This is based on a Microsoft Word 6 version of original MacWrite 2 text submitted to typesetter to make final camera-ready version of IJCAI-89 paper. Hierarhical Genetic Algorithms Operating on Populat Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:18:12 Genetic algorithms Lisp programming language Functional languages Evolutionary biology Cybernetics Lisp Crossover Fibonacci number Selection Computer programming Software engineering Computing
413	Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨ Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-06-02 05:55:58 Automated theorem proving Logical syntax Functional languages Proof assistant Isabelle Theorem prover Coq Mathematical proof IP Software Logic Theoretical computer science
414	Migrating 3rd-Party Archives to Exchange Leading Market Intelligence Company Makes a Smooth Move Based in St. Petersburg, Florida, with operations in the US, Europe and Japan, Catalina Marketing is the global leader in s Add to Reading List Source URL: www.essential.co.uk Language: English - Date: 2012-07-09 05:27:27 Groupware Content management systems Computer-mediated communication Open Text Corporation Portal software Microsoft Exchange Server Email archiving Enterprise Vault Microsoft Outlook Email Computing Software
415	Leveraging the Context of Use in Mobile Service Design Boyd de Groot, Martijn van Welie Satama Interactive Amsterdam, Poeldijkstraat 4, 1059 VM, Amsterdam, The Netherlands {boyd.de.groot, martijn.van.welie}@satama.com A Add to Reading List Source URL: www.welie.com Language: English - Date: 2007-07-15 18:00:00 Human–computer interaction Geolocation Mobile telecommunications SMS Text messaging Usability User experience Mobile Web Location-based service Technology Mobile technology Wireless
416	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm SPECIAL SECTION ON EXTENDING SERVICE-DOMINANT LOGIC Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:46:36 Marketing Co-creation Interdisciplinary fields Macromarketing Market Mathematical logic Resource-based view Logic programming Logic Business Service dominant logic Management
417	white_logo_with_outline_text Add to Reading List Source URL: k10outline.scsa.wa.edu.au Language: English - Date: 2015-03-18 23:40:28 Curriculum Didactics CLAS Evaluation methods Education Education reform Standards-based education
418	badge_white_with_text_000 Dept Child Protection Add to Reading List Source URL: www.dcp.wa.gov.au Language: English - Date: 2014-02-05 01:25:33 Gender-based violence Violence Crime Feminism Domestic violence Emergency management Outline of domestic violence Domestic violence in the United States Violence against women Ethics Abuse
419	BBC TEXT SPELLING Written pronunciations are given in a text spelling system based on English spelling conventions. It is based on English sounds with the addition of some other sounds such as Welsh ll and the front roun Add to Reading List Source URL: downloads.bbc.co.uk Language: English - Date: 2014-08-29 11:02:30 American English English orthography Rhotic and non-rhotic accents Vowel Pronunciation respelling for English Traditional English pronunciation of Latin Linguistics English phonology English language
420	The End is Nigh: Generic Solving of Text-based CAPTCHAs Elie Bursztein Google [removed] Jonathan Aigrain Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-04-17 12:27:04 Human-based computation CAPTCHA Segmentation Algorithm K-nearest neighbor algorithm Baidu Optical character recognition Support vector machine Turing test Artificial intelligence Computing World Wide Web

UPDATE