3387 search results - page 588 / 678 » Model-Checking for Real-Time Systems |
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
Measuring the information retrieval effectiveness of Web search engines can be expensive if human relevance judgments are required to evaluate search results. Using implicit user ...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, I would like to introduce my experimental study of multimedia psychology. My initial focus of investigation is the interaction between perceptions of auditory and v...
PERVASIVE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Both handwriting recognition systems and their users are error prone. Handwriting recognizers make recognition errors, and users may miss those errors when verifying output. As a ...
RTAS
2003
IEEE
14 years 2 months ago
2003
IEEE
Universal Serial Bus (USB) is a popular standard for PC peripheral devices because of its versatile peripheral interconnection specifications. USB not only provides simplified h...