157 search results - page 26 / 32 » Alternative Tools for Tangible Interaction: A Usability Eval... |
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
User-centered security has been identified as a grand challenge in information security and assurance. It is on the brink of becoming an established subdomain of both security and...
SAMOS
2009
Springer
14 years 2 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--With the advance of wireless communication technology, it is quite common for people to view maps or get related services from the handheld devices, such as mobile phones...
ENTCS
2007
13 years 7 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...