Sciweavers

5863 search results - page 125 / 1173
» An evaluation of the TRIPS computer system
Sort
View
HRI
2006
ACM
15 years 7 months ago
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
Lilia Moshkina, Yoichiro Endo, Ronald C. Arkin
ZUM
2000
Springer
15 years 5 months ago
A Computation Model for Z Based on Concurrent Constraint Resolution
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
Wolfgang Grieskamp
AAAI
1990
15 years 2 months ago
A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
D. Volovik, Imran A. Zualkernan, Paul E. Johnson, ...
ESORICS
2010
Springer
15 years 2 months ago
An Authorization Framework Resilient to Policy Evaluation Failures
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
Jason Crampton, Michael Huth
ACL
2010
14 years 11 months ago
Automatic Evaluation Method for Machine Translation Using Noun-Phrase Chunking
As described in this paper, we propose a new automatic evaluation method for machine translation using noun-phrase chunking. Our method correctly determines the matching words bet...
Hiroshi Echizen-ya, Kenji Araki