8315 search results - page 346 / 1663 » Performance Evaluation for Global Computation |
200
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
173
click to vote
MHCI
2005
Springer
2005
Springer
Augmenting audio messages with visual directions in mobile guides: an evaluation of three approaches
16 years 1 months ago
Supporting users’ navigation is a fundamental feature of mobile guides. This paper presents an experimental evaluation comparing three different ways of providing navigation gu...
218
click to vote
ACL
2012
13 years 10 months ago
2012
Many machine translation (MT) evaluation metrics have been shown to correlate better with human judgment than BLEU. In principle, tuning on these metrics should yield better syste...
182
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...
233
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...