5561 search results - page 894 / 1113 » The Large-Display User Experience |
180
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
196
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
Creating Internet services for a specific auditorium involves technical, organizational and sociological challenges to developers, processes and used technologies. Authoring and d...
160
click to vote
CANDT
2009
15 years 11 months ago
2009
We analyze help-seeking strategies in two large tech support boards and observe a number of previously unreported differences between tech support boards and other types of online...
164
click to vote
EXPCS
2007
15 years 11 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
203
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Defining a measure of similarity between queries is an interesting and difficult problem. A reliable query-similarity measure can be used in a variety of applications such as que...