Sciweavers

1620 search results - page 28 / 324
» Testing Polymorphic Properties
Sort
View
FCT
2007
Springer
15 years 8 months ago
The Quantum Query Complexity of Algebraic Properties
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...
Sebastian Dörn, Thomas Thierauf
122
Voted
ECCC
2008
122views more  ECCC 2008»
15 years 2 months ago
Every Minor-Closed Property of Sparse Graphs is Testable
Testing a property P of graphs in the bounded degree model is the following computational problem: given a graph G of bounded degree d we should distinguish (with probability 0.9,...
Itai Benjamini, Oded Schramm, Asaf Shapira
IFL
2004
Springer
15 years 7 months ago
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
Peter Achten
JUCS
2006
109views more  JUCS 2006»
15 years 1 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
IJON
2011
91views more  IJON 2011»
14 years 9 months ago
Asymptotic properties of mixture-of-experts models
The statistical properties of the likelihood ratio test statistic (LRTS) for mixture-of-expert models are addressed in this paper. This question is essential when estimating the nu...
Madalina Olteanu, Joseph Rynkiewicz