3674 search results - page 504 / 735 » Information Dependencies |
149
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Successful collaborations between New Media Arts and HCI tend to develop hybrid techniques that promote balanced contributions from both disciplines. However, since many of these ...
178
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
167
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We report results on the performance of the combination of soft keyboards and marking menus. A model of expert user performance indicated an 11 - 37% (depending on the keyboard la...
150
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
With the acceleration of technological development we are reaching the point where our systems and their user interfaces become to some degree outdated 'legacy systems' ...
284
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...