UTBB-FDSOI complementary logic for high quality analog signal processing.
Zhaopeng WeiYves LeducGilles JacquemodEmeric de FoucauldPublished in: ICECS (2016)
Keyphrases
- signal processing
- high quality
- pattern recognition
- image processing
- fourier transform
- logic programming
- digital circuits
- filter bank
- modal logic
- low quality
- signal analysis
- computer vision
- classical logic
- proof theory
- sound and complete axiomatization
- digital signal processing
- multi valued
- higher quality
- hardware implementation
- automated reasoning
- logical framework
- defeasible logic
- ground truth
- probability theory
- circuit design
- image quality
- deontic logic
- asynchronous circuits
- multiresolution