26071 search results - page 295 / 5215 » Making |
149
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The movement of music from physical discs to digital resources managed on a computer has had an effect on the listening habits of users. We explore using the potential of the inna...
145
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
CogTool-Explorer is a tool to predict user exploration choices given a user interface and task. We describe the integration of components that make up CogToolExplorer, and how it ...
152
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Using role play at every stage of the design process has been a vital tool for IDEO in working with clients and users. With the dual properties of bringing participants into the m...
201
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
168
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...