88 search results - page 18 / 18 » A Comparison of Modular Verification Techniques |
HRI
2006
ACM
13 years 11 months ago
2006
ACM
This paper describes an extensive analysis of the comfort level data of 7 subjects with respect to 12 robot behaviours as part of a human-robot interaction trial. This includes ro...
ICB
2007
Springer
13 years 9 months ago
2007
Springer
Characteristics of surveillance video generally include low resolution and poor quality due to environmental, storage and processing limitations. It is extremely difficult for comp...
BMCBI
2006
13 years 5 months ago
2006
Background: Experimental verification of gene products has not kept pace with the rapid growth of microbial sequence information. However, existing annotations of gene locations c...