Sciweavers

4457 search results - page 72 / 892
» Tests of Machine Intelligence
Sort
View
ACRI
2006
Springer
15 years 8 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
147
Voted
PTS
2000
58views Hardware» more  PTS 2000»
15 years 3 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
128
Voted
ICASSP
2010
IEEE
15 years 2 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
15 years 7 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
135
Voted
COLING
2010
14 years 9 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