Documents > linear logic

Per Page: 152550
Deciding Full Branching Time Logic by Program Transformation
Deciding Full Branching Time Logic by Program Transformation
From: kp00p7 | Date: 11/10/2009 | Rated: 0 (0) | Views: 0
Add to My Docs Not Relevant Good Result

Deciding Full Branching Time Logic by Program Transformation Alberto Pettorossi (Univ. Tor Vergata, Rome, Italy), Maurizio Proietti (IASI-CNR, ...  more>>

Tags: partial evaluation, temporal logic, model checking, branching time, logic programs, logic programming, program specialization, ltl model, mathematical logic, linear logic, x y, j. van, chu spaces, xsb system, stanford university
Categories: Jobs & Careers >
Views: 0
Language: English
Issue Logic and Power_Performance Tradeoffs
Issue Logic and Power_Performance Tradeoffs
From: vixycn | Date: 10/27/2009 | Rated: 0 (0) | Views: 7
Add to My Docs Not Relevant Good Result

Issue Logic and Power/Performance Tradeoffs Edwin Olson Andrew Menard December 5, 2000 The need for low-power architectures    Low p ...  more>>

Tags: power consumption, Reducing Power, critical path, Functional units, logic power, microprocessor performance, selection logic, Recent research, balance of power, Dean M. Tullsen
Categories:
Views: 7
Language: ENGLISH
List_of_topics_in_logic
List_of_topics_in_logic
From: zzzmarcus | Date: 5/22/2009 | Rated: 0 (0) | Views: 2
Add to My Docs Not Relevant Good Result
Categories:
Views: 2
Language: UNKNOWN
Database Consistency Logic-Based Approaches
Database Consistency Logic-Based Approaches
From: ppants76 | Date: 12/10/2009 | Rated: 0 (0) | Views: 0
Add to My Docs Not Relevant Good Result

Database Consistency: Logic-Based Approaches Jan Chomicki University at Buffalo June 2008 Jan Chomicki () Database Consistency June 2008  ...  more>>

Tags: logic programming, description logic, database systems, knowledge base, semantic web, integrity constraints, inference engine, description logics, how to, background knowledge, owl classes, access control, database consistency, the user, deductive databases
Categories: Business >
Views: 0
Language: English
Understanding the Logic of Atheism
Understanding the Logic of Atheism
From: anonymous | Date: 2/13/2008 | Rated: 0 (0) | Views: 138
Add to My Docs Not Relevant Good Result

Dec 2005, Changing Times Understanding the Logic of Atheism Creating a Bridge of Understanding Hooman KatiraiTable of Contents . Part 1: The ...  more>>

Categories:
Views: 138
Language: English
The Logic of Collective Belief
The Logic of Collective Belief
From: goodbaby | Date: 11/3/2009 | Rated: 0 (0) | Views: 1
Add to My Docs Not Relevant Good Result

The Logic of Collective Belief: The Political Economy of Voter Irrationality by Bryan Caplan Department of Economics, Center for Study of Public  ...  more>>

Categories:
Views: 1
Language: English
UTM Applied Linear Algebra and Matrix Analysis - 2007
UTM Applied Linear Algebra and Matrix Analysis - 2007
From: wisdomzgh | Date: 11/22/2009 | Rated: 0 (0) | Views: 31
Add to My Docs Not Relevant Good Result

Undergraduate Texts in Mathematics Editors S. Axler K.A. Ribet Undergraduate Texts in Mathematics Abbott: Understanding Analysis. Anglin: ...  more>>

Tags: Applied Linear Algebra and Matrix Analys...
Categories:
Views: 31
Language: ENGLISH
DATABASE SYSTEM BASED ON INTENSIONAL LOGIC
DATABASE SYSTEM BASED ON INTENSIONAL LOGIC
From: ppants76 | Date: 12/10/2009 | Rated: 0 (0) | Views: 0
Add to My Docs Not Relevant Good Result

DATABASE SYSTEM BASED ON INTENSIONAL LOGIC Naoki Yonezaki, Hajime Enomoto DEPARTMENT OF COMPUTER SCIENCE TOKYO INSTITUTE OF TECHNOLOGY 2-12-1, OOKA ...  more>>

Tags: intensional logic, logic programming, deductive databases, database systems, international conference, acm transactions on database systems, the user, natural language, integrity constraints, database system, semantic web, jack minker, department of computer science, query language, deductive database
Categories: Business >
Views: 0
Language: English
Graphical Analysis of Linear Motion
Graphical Analysis of Linear Motion
From: alextt | Date: 11/5/2008 | Rated: 0 (0) | Views: 72
Add to My Docs Not Relevant Good Result

Graphical Analysis of Linear Motion State Standard: Motion and Forces 1. Newton’s laws predict the motion of most objects. As a basis for ...  more>>

Tags: Graphical Analysis of Linear Motion, Graphical Analysis, Terminal characteristics, port parameters, Catalog Data, LaPlace Transform, data set, Michael C., Mathematics Review, Basic Pharmacokinetics
Categories: Science > Research >
Views: 72
Language: English
Linear Genetic Programming GPGPU
Linear Genetic Programming GPGPU
From: hilen | Date: 12/3/2009 | Rated: 0 (0) | Views: 1
Add to My Docs Not Relevant Good Result

Linear Genetic Programming GPGPU on Microsoft’s Xbox 360 Garnett Wilson, Member, IEEE, and Wolfgang Banzhaf used to perform parallel genetic operati ...  more>>

Tags: genetic programming, Linear genetic programming, computer programs, Genetic Algorithms, Wolfgang Banzhaf, Evolutionary Computation, GP software, evolutionary algorithms, GP system, intrusion detection
Categories:
Views: 1
Language: 0

Submit a document request and get notified of matches on Docstoc.

Per Page: 152550
View All Categories

all documents

Was this page helpful?
Find high-quality legal forms and agreements from LegalZoom
Find agreements and deal clauses drafted by top law firms from RealDealDocs
Find a comprehensive library of forms and agreements for small businesses from LegalAgreements
Get custom written essays, term papers, and research papers from WriteMyEssays