Geoff - PDFSEARCH.IO - Document Search Engine

Geoff
Results: 2056

#	Item
131	A Note on Distributed Computing Jim Waldo Geoff Wyant Ann Wollrath Sam Kendall Add to Reading List Source URL: kde.beta.mirror.ga Language: English - Date: 1999-11-01 18:00:00 Computing Concurrent computing Software engineering Distributed computing architecture Inter-process communication Object-oriented programming Parallel computing Component-based software engineering Distributed object Object Common Object Request Broker Architecture Remote procedure call
132	Batch-Incremental vs. Instance-Incremental Learning in Dynamic and Evolving Data Jesse Read1 , Albert Bifet2 , Bernhard Pfahringer2 , Geoff Holmes2 1 Department of Signal Theory and Communications Add to Reading List Source URL: users.ics.aalto.fi Language: English - Date: 2012-10-25 03:54:39 Statistics Machine learning Learning Artificial intelligence Statistical classification Data mining Concept drift Massive Online Analysis K-nearest neighbors algorithm Support vector machine Stochastic gradient descent Batch processing
133	FOR IMMEDIATE RELEASE For more information: Geoff Mordock Fleishman-Hillard, Inc Add to Reading List Source URL: www.lto.org Language: English - Date: 2015-06-09 00:35:59 Electromagnetism Magnetism Linear Tape-Open Computer hardware Magnetic tape data storage Tape drive Quantum Corporation LTO Linear Tape File System
134	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
135	For more information: Geoff Mordock Fleishman-HillardLTO PROGRAM CELEBRATES 10 YEARS OF CHANGING THE FACE OF Add to Reading List Source URL: www.lto.org Language: English - Date: 2015-06-09 00:35:50 Electromagnetism Magnetism Information science Linear Tape-Open Linear Tape File System Magnetic tape data storage Tape drive LTO Cartridge IBM Storage
136	Lectures on Aggression- Week 4 • Treatment of Carr (2003) – Ereserve • Aggression in animals (Lorenz)- Ereserve • The violent media effects thesis Dr Geoff Denham Add to Reading List Source URL: wilderdom.com Language: English - Date: 2005-08-08 01:15:15 Behavior Action philosophy) Aggression Dispute resolution Abuse Criminology Abnormal psychology Research on the effects of violence in mass media Violence Mobbing Ethology Territory
137	FOR IMMEDIATE RELEASE For more information: Geoff Mordock Fleishman-Hillard, Inc Add to Reading List Source URL: www.lto.org Language: English - Date: 2015-06-09 00:35:55 Electromagnetism Magnetism Computer hardware Linear Tape-Open Magnetic tape data storage Tape drive Quantum Corporation LTO Cartridge Linear Tape File System
138	A Note on Distributed Computing Jim Waldo Geoff Wyant Ann Wollrath Sam Kendall Add to Reading List Source URL: mirror.squ.edu.om Language: English - Date: 1999-11-01 18:00:00 Computing Concurrent computing Software engineering Distributed computing architecture Inter-process communication Object-oriented programming Parallel computing Component-based software engineering Distributed object Object Common Object Request Broker Architecture Remote procedure call
139	02 Analysis Geoff Donaghy Add to Reading List Source URL: www.aipc.org Language: English - Date: 2016-03-17 15:42:45
140	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem

UPDATE