Sciweavers

4457 search results - page 72 / 892
» Tests of Machine Intelligence
Sort
View
ACRI
2006
Springer
14 years 4 months ago
Optimal 6-State Algorithms for the Behavior of Several Moving Creatures
The goal of our investigation is to find automatically the absolutely best rule for a moving creature in a cellular field. The task of the creature is to visit all empty cells wi...
Mathias Halbach, Rolf Hoffmann, Lars Both
PTS
2000
58views Hardware» more  PTS 2000»
13 years 11 months ago
Formal Test Automation: The Conference Protocol with PHACT
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
Lex Heerink, Jan Feenstra, Jan Tretmans
ICASSP
2010
IEEE
13 years 10 months ago
Training a support vector machine to classify signals in a real environment given clean training data
When building a classifier from clean training data for a particular test environment, knowledge about the environmental noise and channel should be taken into account. We propos...
Kevin Jamieson, Maya R. Gupta, Eric Swanson, Hyrum...
ICANN
2001
Springer
14 years 2 months ago
Learning and Prediction of the Nonlinear Dynamics of Biological Neurons with Support Vector Machines
Based on biological data we examine the ability of Support Vector Machines (SVMs) with gaussian kernels to learn and predict the nonlinear dynamics of single biological neurons. We...
Thomas Frontzek, Thomas Navin Lal, Rolf Eckmiller
COLING
2010
13 years 5 months ago
Adaptive Development Data Selection for Log-linear Model in Statistical Machine Translation
This paper addresses the problem of dynamic model parameter selection for loglinear model based statistical machine translation (SMT) systems. In this work, we propose a principle...
Mu Li, Yinggong Zhao, Dongdong Zhang, Ming Zhou