6800 search results - page 793 / 1360 » Testing with Functions as Specifications |
243
click to vote
AIHC
2007
Springer
16 years 1 months ago
2007
Springer
Computer models can be used to investigate the role of emotion in learning. Here we present EARL, our framework for the systematic study of the relation between emotion, adaptation...
213
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
191
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
Smart camera is a camera that can not only see but also think and act. A smart camera is an embedded vision system which captures and processes image to extract application-specifi...
205
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
GeoCLEF ran as a regular track for the second time within the Cross Language Evaluation Forum (CLEF) 2007. The purpose of GeoCLEF is to test and evaluate cross-language geographic ...
195
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we report on a study in which genetic algorithms are applied to the analysis of noisy time-series signals, which is related to the problem of analyzing the motion ch...