6800 search results - page 538 / 1360 » Testing with Functions as Specifications |
185
click to vote
DISCO
1992
15 years 11 months ago
1992
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
208
click to vote
ACISICIS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
172
click to vote
IMAGING
2004
15 years 9 months ago
2004
We investigate the hypothesis, recently published in Nature, that the human visual system may use some sort of luminance-redness correlation2 together with the scene average for i...
143
click to vote
IADIS
2003
15 years 9 months ago
2003
Experience in preparing Web content for people with visual disabilities shows that automatic testing of accessibility is clearly insufficient to meet real-world demands, and that ...
200
click to vote
WCE
2007
15 years 8 months ago
2007
— This paper proposes a population based adaptive tuning for dynamic position control of robot manipulators. The dynamic behavior of a robot manipulator is highly nonlinear, and ...