6800 search results - page 577 / 1360 » Testing with Functions as Specifications |
201
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, an insect-inspired motion detector (Reichardt-model) is applied to visual servo control to ensure the stability of the system with high gain and time delay in its fe...
204
click to vote
IDEAL
2009
Springer
15 years 5 months ago
2009
Springer
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...
246
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
393
click to vote
JMLR
2010
15 years 2 months ago
2010
This study explores the feasibility of estimating the Body Condition Score (BCS) of cows from digital images by employing statistical shape analysis and regression machines. The s...
218
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...