<--- Back to Details
First PageDocument Content
Technical communication / Science / Artificial intelligence / Ontology / Robotics / Upper ontology / Robot / Commonsense knowledge base / Perspective / Information / Information science / Knowledge representation
Date: 2012-09-19 13:17:07
Technical communication
Science
Artificial intelligence
Ontology
Robotics
Upper ontology
Robot
Commonsense knowledge base
Perspective
Information
Information science
Knowledge representation

Add to Reading List

Source URL: software.rc.fas.harvard.edu

Download Document from Source Website

File Size: 519,88 KB

Share Document on Facebook

Similar Documents

Debugging / Logic in computer science / Runtime verification / Software optimization / Computing / Instrumentation / Tracing / Information technology management / Management

What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

DocID: 1xW0i - View Document

Biology / Genetics / Genomics / Molecular biology / Biotechnology / DNA / Bioinformatics / Whole genome sequencing / Genome-wide association study / Single-nucleotide polymorphism / Human genome / Privacy

Systematizing Genome Privacy Research: A Privacy-Enhancing Technologies Perspective∗ Alexandros Mittos1 , Bradley Malin2 , Emiliano De Cristofaro1 arXiv:1712.02193v2 [cs.CR] 17 Aug 2018

DocID: 1xVkE - View Document

Wireless networking / Computing / Information and communications technology / Computer networking / Technology / Network protocols / Data transmission / Internet of things / Vehicular ad hoc network / Wireless ad hoc network / Mobile ad hoc network / Network packet

Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

DocID: 1xVdq - View Document

Computer programming / Software engineering / Computing / Lisp / Functional programming / Data types / Abstract data types / Functional languages / Append / ACL2 / Cons / Nqthm

Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

DocID: 1xUSy - View Document

Algebraic curves / Algebraic geometry / Geometry / Abstract algebra / Group theory / Hyperelliptic curve / Algebraic surfaces / Index calculus algorithm / Elliptic curve / Hyperelliptic curve cryptography / Trace Zero Cryptography

Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective Claus Diem University of Leipzig

DocID: 1xUrR - View Document