Equivalence Testing: The Power of Bounded Adaptivity.

Equivalence Testing: The Power of Bounded Adaptivity.

10.48550/arXiv.2403.04230

Saved in:

書目詳細資料
Main Authors:	Chakraborty, Diptarka, Chakraborty, Sourav, Kumar, Gunjan, Meel, Kuldeep S
其他作者:	DEPARTMENT OF COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	PMLR 2024
在線閱讀:	https://scholarbank.nus.edu.sg/handle/10635/248704
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Tight Lower Bound on Equivalence Testing in Conditional Sampling Model.
由: Chakraborty, Diptarka, et al.
出版: (2024)

Tight Lower Bound on Equivalence Testing in Conditional Sampling Model.
由: Chakraborty, Diptarka, et al.
出版: (2024)

Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?
由: Chakraborty, Diptarka, et al.
出版: (2023)

New Extremal Bounds for Reachability and Strong-Connectivity Preservers Under Failures.
由: Chakraborty, Diptarka, et al.
出版: (2020)

Support Size Estimation: The Power of Conditioning
由: Chakraborty, D, et al.
出版: (2024)

On equivalence relations and bounded turing degrees
由: Yu, Hongyuan
出版: (2018)

Hardness of Approximation of (Multi-)LCS over Small Alphabet.
由: Bhangale, Amey, et al.
出版: (2023)

Counting Minimal Unsatisfiable Subsets
由: Bendík, J., et al.
出版: (2022)

New extremal bounds for reachability and strong-connectivity preservers under failures
由: Chakraborty, D, et al.
出版: (2023)

Clustering Permutations: New Techniques with Streaming Applications.
由: Chakraborty, Diptarka, et al.
出版: (2024)

Pairwise Reachability Oracles and Preservers Under Failures.
由: Chakraborty, Diptarka, et al.
出版: (2024)

Approximate Trace Reconstruction via Median String (In Average-Case)
由: Chakraborty, Diptarka, et al.
出版: (2023)

Approximate Online Pattern Matching in Sublinear Time.
由: Chakraborty, Diptarka, et al.
出版: (2020)

Predicting Forest Fire Using Remote Sensing Data And Machine Learning
由: Yang, Suwei, et al.
出版: (2021)

HIGH FREQUENCY POWER CONVERTERS FOR ELECTRIC VEHICLE CHARGING APPLICATIONS
由: CHAKRABORTY DEBJANI
出版: (2020)

Adaptive regret minimization in bounded-memory games
由: BLOCKI, Jeremiah, et al.
出版: (2013)

Fair Rank Aggregation.
由: Chakraborty, Diptarka, et al.
出版: (2024)

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.
由: Mechtaev, Sergey, et al.
出版: (2023)

Equivalence of field test and standardized IT lab test conditions for web-based psychological assessment.
由: Lee, Yi Chin., et al.
出版: (2008)

Power management of interactive 3D games using frame structures
由: Gu, Y., et al.
出版: (2013)

Multimedia power management on a platter: From audio to video & games
由: Chakraborty, S., et al.
出版: (2013)

TESTING OF THE RICARDIAN EQUIVALENCE PROPOSITION An Empirical Examination for Malaysia (1962-2006)
由: Perpustakaan UGM, i-lib
出版: (2008)

Automatic mining of functionally equivalent code fragments via random testing
由: JIANG, Lingxiao, et al.
出版: (2009)

Robust state estimation of power systems based on equivalent measurement technique
由: Sermsak Uatrongjit
出版: (2018)

Robust state estimation of power systems based on equivalent measurement technique
由: Sermsak Uatrongjit
出版: (2018)

An efficient equivalent circuit model for the EMC analysis of power/ground noise
由: Wei, X.C., et al.
出版: (2014)

Ampacity and thermal equivalent modeling of subsea power cables for long distance power transmission and optimization
由: Duraisamy, Nishanthi
出版: (2021)

Robust adaptive stabilization of nonholonomic mobile robots with bounded disturbances
由: Chen, Gang, et al.
出版: (2015)

Robust adaptive stabilization of nonholonomic mobile robots with bounded disturbances
由: Chen, G, et al.
出版: (2020)

Infrared Black Phosphorus Phototransistor with Tunable Responsivity and Low Noise Equivalent Power
由: HUANG LI, et al.
出版: (2020)

Power-aware bandwidth and stereo-image scalable audio decoding
由: Huang, W., et al.
出版: (2014)

Sampling-based adaptive bounding evolutionary algorithm for continuous optimization problems
由: Luo, Linbo, et al.
出版: (2017)

Equivalent weavings
由: Zambrano, Aliw-iw, et al.
出版: (2016)

The equivalence of statecharts
由: Long, Q., et al.
出版: (2014)

Construction and testing of an apparatus that determines the mechanical equivalent of heat using available local materials
由: Guiang, Roberto A.
出版: (1985)

A method to derive dynamic equivalent for transient stability studies of electrical power system
由: Trakan Dankul
出版: (2013)

A method to derive dynamic equivalent for transient stability studies of electrical power system
由: Trakan Dankul
出版: (1989)

Using offline bitstream analysis for power-aware video decoding in portable devices
由: Huang, Y., et al.
出版: (2014)

A perception-aware low-power software audio decoder for portable devices
由: Chakraborty, S., et al.
出版: (2013)

Evaluating Singapore’s Housing Policies: A Bounds Testing Approach
由: LEE, David Kuo Chuen,, et al.
出版: (2015)