Results 31 to 40 of about 24,229,753 (306)
2012 IEEE 53rd Annual Symposium on Foundations of Computer Science, 2012 One of the motivations for property testing of boolean functions is the idea that testing can serve as a preprocessing step before learning. However, in most machine learning applications, it is not possible to request for labels of fictitious examples constructed by the algorithm.
Maria-Florina Balcan +3 more
openaire +2 more sources
Testing Boolean Functions Properties [PDF]
Fundamenta Informaticae, 2021 The goal in the area of functions property testing is to determine whether a given black-box Boolean function has a particular given property or is ɛ-far from having that property. We investigate here several types of properties testing for Boolean functions (identity, correlations and balancedness) using the Deutsch-Jozsa algorithm (for the Deutsch ...
Zhengwei Xie +4 more
openaire +3 more sources
Coverage Criteria for Model-Based Testing using Property Patterns [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an ...
Kalou Cabrera Castillos +2 more
doaj +1 more source
On the Randomness Complexity of Property Testing [PDF]
computational complexity, 2007 We initiate a general study of the randomness complexity of property testing, aimed at reducing the randomness complexity of testers without (significantly) increasing their query complexity. One concrete motivation for this study is provided by the observation that the product of the randomness and query complexity of a tester determine the actual ...
Oded Goldreich 0001, Or Sheffet
openaire +2 more sources
IEEE Access, 2019 As PUFs become ubiquitous for commercial products (e.g., FPGAs from Xilinx, Altera, and Microsemi), attacks against these primitives are evolving toward more omnipresent and even advanced techniques.
Fatemeh Ganji +2 more
doaj +1 more source
Sliding window property testing for regular languages [PDF]
International Symposium on Algorithms and Computation, 2019 We study the problem of recognizing regular languages in a variant of the streaming model of computation, called the sliding window model. In this model, we are given a size of the sliding window $n$ and a stream of symbols. At each time instant, we must
Moses Ganardi +3 more
semanticscholar +1 more source
Distribution-Free Property-Testing [PDF]
SIAM Journal on Computing, 2003 We consider the problem of distribution-free property-testing of functions. In this setting of property-testing, the distance between functions is measured with respect to a fixed but unknown distribution $D$ on the domain. The testing algorithms are given oracle access to random sampling from the domain according to this distribution $D$.
Shirley Halevy, Eyal Kushilevitz
openaire +1 more source
Testing and Evaluation of the Oil Absorption Characteristics of Cotton Fibers
Journal of Natural Fibers, 2022 The wetting property to different oil of cotton fibers which come from different regions of China was studied. The surface adsorption characteristics of cotton fibers were characterized.
Shengbin Cao +4 more
doaj +1 more source
Testing Polymorphic Properties [PDF]
, 2010 This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of ...
Jean-Philippe Bernardy +2 more
openaire +1 more source
Journal of Constitutional Law, 2020 The beginning of 2020 marked an unexpected turn for the world, the global pandemic of COVID-19 has affected every aspect of life. It has also created an unprecedented opportunity for governments to justify the expansion of their surveillance and ...
Clarisa Long
doaj