Automatic Verification of Communicative Commitments Using Reduction

Journal of Intelligent Computing
doi 10.6025/jic/2018/9/3/114-128
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Digital Information Research Foundation

Related search

Automatic Palmprint Verification

International Journal of Image and Graphics
Computer Science ApplicationsPattern RecognitionComputer VisionComputer GraphicsComputer-Aided Design
2001English

Automatic Verification of Timed Circuits

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Automatic Portal Lock Security Using Two-Step Verification via Bluetooth and GSM

IJARCCE
2017English

Performance Evaluation of Automatic Speaker Verification Systems

IEEE Transactions on Acoustics, Speech, and Signal Processing
1977English

Experimental Studies in a New Automatic Speaker Verification System Using Telephone Speech

English

Automatic, Black-Box Model Order Reduction Using Radial Basis Functions

2011English

Improving Automatic Verification of Security Protocols With XOR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automatic Reduction of Periodic Noise in Images Using Adaptive Gaussian Star Filter

Turkish Journal of Electrical Engineering and Computer Sciences
Electronic EngineeringElectricalComputer Science
2017English

Automatic Memory Reductions for RTL Model Verification

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
Computer Science ApplicationsComputer GraphicsComputer-Aided DesignSoftware
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy