Sciweavers

4457 search results - page 296 / 892
» Tests of Machine Intelligence
Sort
View
KBSE
2002
IEEE
15 years 11 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
ICMLA
2008
15 years 8 months ago
Target Selection: A New Learning Paradigm and Its Application to Genetic Association Studies
In this work, a new learning paradigm called target selection is proposed, which can be used to test for associations between a single genetic variable and a multidimensional, qua...
Johannes Mohr, Sambu Seo, Imke Puis, Andreas Heinz...
DSN
2007
IEEE
16 years 1 months ago
BlackJack: Hard Error Detection with Redundant Threads on SMT
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
Ethan Schuchman, T. N. Vijaykumar
EDUTAINMENT
2007
Springer
16 years 28 days ago
Visualization Learning for Visually Impaired People
Virtual Environments (VE) are mainly visual experiments that exclude visually impaired people. In this paper we present an application that should allow almost everybody to “seeâ...
Patrick Salamin, Daniel Thalmann, Fréd&eacu...
COLING
2008
15 years 8 months ago
Rank Distance as a Stylistic Similarity
In this paper we propose a new distance function (rank distance) designed to reflect stylistic similarity between texts. To assess the ability of this distance measure to capture ...
Marius Popescu, Liviu Petrisor Dinu