Amanote Research

Amanote Research

    RegisterSign In

Partition-Based Regression Verification

doi 10.1109/icse.2013.6606576
Full Text
Open PDF
Abstract

Available in full text

Date

May 1, 2013

Authors
Marcel BohmeBruno C. D. S. OliveiraAbhik Roychoudhury
Publisher

IEEE


Related search

Partition-Based Trapdoor Ciphers

2017English

Regression Verification: Proving the Equivalence of Similar Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Local Linear Functional Regression Based on Weighted Distance-Based Regression

Functional and Operatorial Statistics
2008English

Color-Based Iris Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Dynamically Adaptive Partition-Based Data Distribution Management

English

Histogram Density Estimators Based Upon a Fuzzy Partition

Statistics and Probability Letters
UncertaintyStatisticsProbability
2008English

Controlling Polyvariance for Specialization-Based Verification

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Scene Consistency Verification Based on PatchNet

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

Alumnichain: Blockchain Based Records Verification Service

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy