Sciweavers

1054 search results - page 21 / 211
» A Formalization of the Turing Test
Sort
View
JAR
2010
82views more  JAR 2010»
15 years 11 days ago
A Formal Logic Approach to Constrained Combinatorial Testing
Andrea Calvagna, Angelo Gargantini
FMICS
2009
Springer
15 years 8 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
JMLR
2012
13 years 4 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 4 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»
15 years 1 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