Sciweavers

658 search results - page 68 / 132
» Evaluation of alternative presentation control techniques
Sort
View
SIGSOFT
2008
ACM
14 years 9 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
CSE
2009
IEEE
14 years 1 months ago
metaViz: Visualizing Computationally Identified Metaphors in Political Blogs
This paper presents metaViz, an online application that uses computational metaphor identification to find conceptual metaphors in political blogs. The application presents those ...
Eric P. S. Baumer, Jordan Sinclair, David Hubin, B...
UIST
2005
ACM
14 years 2 months ago
Zoom-and-pick: facilitating visual zooming and precision pointing with interactive handheld projectors
Designing interfaces for interactive handheld projectors is an exiting new area of research that is currently limited by two problems: hand jitter resulting in poor input control,...
Clifton Forlines, Ravin Balakrishnan, Paul A. Bear...
COMSWARE
2006
IEEE
14 years 3 months ago
WLAN location sharing through a privacy observant architecture
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
Kavitha Muthukrishnan, Nirvana Meratnia, Maria Eva...
VLSID
2008
IEEE
128views VLSI» more  VLSID 2008»
14 years 9 months ago
Addressing the Challenges of Synchronization/Communication and Debugging Support in Hardware/Software Cosimulation
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
Banit Agrawal, Timothy Sherwood, Chulho Shin, Simo...