895 search results - page 34 / 179 » A User Guide to HyTech |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
ROMAN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—This paper addresses a so far neglected area of human-robot interaction by approaching situation awareness from the point of view of naïve users. In particular, we pres...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
A multi-leveled framework for user interface design guidelines of Web applications is presented. User interface design guidelines tend to provide information that is either too ge...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Starpoint Solutions was contracted by a major North American bank to design, develop, and usability test a series of five Web-based, interactive lessons teaching low- to middle-in...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
We present a study investigating two novel mobile services supporting querying for information in the urban environment using camera equipped smart phones as well as two different...