Error Explanation with Distance Metrics

Error Explanation with Distance Metrics

Bibliographic Details
Main Authors:	Groce, A, Chaki, S, Kroening, D, Strichman, O
Format:	Journal article
Published:	2006

Similar Items

Metrics and methods for social distance
by: Andris, Clio
Published: (2012)

Sparse distance metric learning
by: Choy, T
Published: (2014)

Learning the language of software errors
by: Chockler, H, et al.
Published: (2020)

Efficient Computation of Recurrence Diameters
by: Kroening, D, et al.
Published: (2003)

Decision Procedures – an Algorithmic Point of View
by: Kroening, D, et al.
Published: (2008)

A framework for Satisfiability Modulo Theories.
by: Kroening, D, et al.
Published: (2009)

Making the most of BMC counterexamples
by: Groce, A, et al.
Published: (2005)

Making the Most of BMC Counterexamples
by: Groce, A, et al.
Published: (2005)

Counterexample Guided Abstraction Refinement via Program Execution
by: Groce, A, et al.
Published: (2004)

Distance metric learning for visual recognition
by: Hu, Junlin
Published: (2018)

Earnings forecasts errors in Malaysian IPO prospectuses: Evidence and explanations
by: Ammer, Mohammed Abdullah, et al.
Published: (2014)

Self-generation and probability assessment of error explanations in analytical procedures.
by: Lim, Huay Ling., et al.
Published: (2008)

Verifying C++ with STL Containers via Predicate Abstraction
by: Blanc, N, et al.
Published: (2007)

Understanding Counterexamples with explain
by: Groce, A, et al.
Published: (2004)

Verifying C++ with STL containers via predicate abstraction
by: Blanc, N, et al.
Published: (2007)

Forecasting for battery storage: choosing the error metric
by: Singleton, C, et al.
Published: (2021)

An improved Chebyshev distance metric for clustering medical images
by: Mousa, Aseel, et al.
Published: (2015)

Bayesian distance metric learning on i-vector for speaker verification
by: Fang, Xiao, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Entropy-Transport distances between unbalanced metric measure spaces
by: De Ponti, N, et al.
Published: (2022)

Abstraction−based Satisfiability Solving of Presburger Arithmetic
by: Kroening, D, et al.
Published: (2004)

Introduction to the special section on distance metric learning in intelligent systems
by: Hoi, Steven C. H., et al.
Published: (2013)

Distance metric learning for multi-modal image retrieval and annotation
by: Wu, Pengcheng
Published: (2014)

Mitigation of Distance-Dependent Errors for GPS Network Positioning
by: Musa, Tajul A, et al.
Published: (2006)

Computational challenges in bounded model checking
by: Clarke, E, et al.
Published: (2005)

Completeness and Complexity of Bounded Model Checking
by: Clarke, E, et al.
Published: (2004)

Computational challenges in bounded model checking.
by: Clarke, E, et al.
Published: (2005)

Computational Challenges in Bounded Model Checking
by: Clarke, E, et al.
Published: (2015)

Evaluating Pauli errors on cluster states by weighted distances
by: Choong, Pak Shen, et al.
Published: (2024)

The detection and treatment of distance errors in kinematic analyses of stars
by: Schoenrich, R, et al.
Published: (2011)

The detection and treatment of distance errors in kinematic analyses of stars
by: Schoenrich, R, et al.
Published: (2012)

Lower bounds for embedding the Earth Mover Distance metric into normed spaces
by: Samuel, Javed K. K
Published: (2006)

Spatial-temporal distance metric embedding for time-specific POI recommendation
by: Ding, Ruifeng, et al.
Published: (2018)

Truth in explanation
by: Nickel, Bernhard, Ph. D. Massachusetts Institute of Technology
Published: (2006)

Linear Completeness Thresholds for Bounded Model Checking.
by: Kroening, D, et al.
Published: (2011)

Explanation and manipulation
by: Prescott-Couch, A
Published: (2017)

Comparing minimum codeword distances and error performance for index modulation and maximum distance separable coded modulation
by: Yarkin, F, et al.
Published: (2022)

Transferring knowledge fragments for learning distance metric from a heterogeneous domain
by: Luo, Yong, et al.
Published: (2020)

Confounding explanations....
by: Dunbar, R
Published: (2001)

Explaining explanation /
by: 231444 Ruben, David-Hillel
Published: (1990)

Experimental validation of the Lower Leg Trajectory Error, an optimization metric for prosthetic feet
by: Prost, Victor (Scientist in Mechanical Engineering) Massachusetts Institute of Technology
Published: (2018)