Programming Combinations of Deduction and BDD-based Symbolic Calculation

LMS Journal of Computation and Mathematics - United Kingdom
doi 10.1112/s1461157000000693
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley

Related search

A Hybrid Approach of Grammar-Based Genetic Programming and Differential Evolution for Symbolic Regression

2018English

BDD-Based Cryptanalysis of Keystream Generators

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

BDD-based Verification of Scalable Designs

Facta universitatis - series: Electronics and Energetics
2007English

RFID Based Toll Deduction System

International Journal of Information Technology and Computer Science
2012English

Automated Discovery of Symbolic Approximation Formulae Using Genetic Programming

International Journal of Computer Applications
2020English

On Perception-Based Logical Deduction and Its Variants

2015English

Recursive and Symbolic Calculation of the Stiffness and Mass Matrices of Parallel Robots

Mechanisms and Machine Science
Mechanics of MaterialsMechanical Engineering
2014English

Constructing a No-Reference H.264/Avc Bitstream-Based Video Quality Metric Using Genetic Programming-Based Symbolic Regression

IEEE Transactions on Circuits and Systems for Video Technology
Electronic EngineeringMedia TechnologyElectrical
2013English

Improved Genetic Programming Algorithm Applied to Symbolic Regression and Software Reliability Modeling

Journal of Software Engineering and Applications
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy