<--- Back to Details
First PageDocument Content
Emotions / Surprise / Affect / Agent-based model / Proposition / Multi-agent system / Intelligent agent / Function / Memory / Mind / Philosophy of mind / Logic
Date: 2012-07-25 09:36:34
Emotions
Surprise
Affect
Agent-based model
Proposition
Multi-agent system
Intelligent agent
Function
Memory
Mind
Philosophy of mind
Logic

Microsoft Word - Emcsr2006VFinal2.doc

Add to Reading List

Source URL: t3-hgw-mnf.rz.uni-greifswald.de

Download Document from Source Website

File Size: 74,92 KB

Share Document on Facebook

Similar Documents

Software engineering / C++ / Computing / Computer programming / Pointer / Const / Undefined behavior / C dynamic memory allocation / Data type / Optimizing compiler / C++11 / Stack

A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗

DocID: 1xVYp - View Document

LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu

DocID: 1xVXw - View Document

Computing / Computer hardware / Technology / NVDIMM / Non-volatile random-access memory / Intel / Dynamic random-access memory / Processor

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA

DocID: 1xVOm - View Document

Mathematical logic / Logic / Predicate logic / Mathematics / Predicate / FO / Atomic sentence / Primitive recursive function / Syntactic predicate

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

DocID: 1xVFk - View Document

Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗

DocID: 1xVDm - View Document