<--- Back to Details
First PageDocument Content
Signal processing / Mathematical logic / Mereology / Ontology / Predicate logic / Wavelet transform / Wavelet / Logic / Mathematics / Abstraction / Wayne B. Nottingham Prize / Islamic studies by author
Date: 2013-04-03 04:36:52
Signal processing
Mathematical logic
Mereology
Ontology
Predicate logic
Wavelet transform
Wavelet
Logic
Mathematics
Abstraction
Wayne B. Nottingham Prize
Islamic studies by author

Contents Part One xxv xxvii Conference Committees

Add to Reading List

Source URL: www.icgip.org

Download Document from Source Website

File Size: 364,15 KB

Share Document on Facebook

Similar Documents

Concurrent computing / Scheduling / Computer architecture / System software / Preemption / Thread / Cooperative multitasking / Preempt / Synchronization / Computing

Overview Abstraction The Rest

DocID: 1xW1V - View Document

Computing / Software engineering / Computer programming / Parser generators / Compiling tools / Functional programming / Parser combinator / Parsing / Lex / Scala / Apache HTTP Server

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

DocID: 1xVQq - View Document

Logic / Mathematical logic / Mathematics / Predicate logic / Propositional calculus / Semantics / Philosophical logic / Satisfiability modulo theories / Predicate / Literal / Well-formed formula / Model checking

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

DocID: 1xVJt - 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