Sciweavers

1054 search results - page 21 / 211
» A Formalization of the Turing Test
Sort
View
JAR
2010
82views more  JAR 2010»
14 years 10 months ago
A Formal Logic Approach to Constrained Combinatorial Testing
Andrea Calvagna, Angelo Gargantini
FMICS
2009
Springer
15 years 6 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
JMLR
2012
13 years 2 months ago
Bayesian Comparison of Machine Learning Algorithms on Single and Multiple Datasets
We propose a new method for comparing learning algorithms on multiple tasks which is based on a novel non-parametric test that we call the Poisson binomial test. The key aspect of...
Alexandre Lacoste, François Laviolette, Mar...
MST
2011
231views Hardware» more  MST 2011»
14 years 2 months ago
On the Complexity of Matroid Isomorphism Problem
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in Σ p 2. In the case of linear matroids, which are represented over pol...
B. V. Raghavendra Rao, Jayalal M. N. Sarma
IPL
2008
110views more  IPL 2008»
14 years 12 months ago
Reduction of stochastic parity to stochastic mean-payoff games
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
Krishnendu Chatterjee, Thomas A. Henzinger