2002 search results - page 183 / 401 » Interactive technical illustration |
154
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
147
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Personal information management (PIM) is an important and hard research problem. Previous systems suffer inflexibility because of strict hierarchies and immobility. I present an a...
CHI
2008
ACM
16 years 5 months ago
2008
ACM
We present a wireless prototype system for real-time snowboard training. This system can be used to detect common mistakes during snowboarding and to give students immediate feedb...
151
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
User trials for future mobile telecommunication applications inherently pose several particular challenges which are difficult to meet in a traditional lab environment. In this pa...
106
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
Software today does not help us partition our digital worlds effectively. We must organize them ourselves. This field study of users of multiple monitors examines how people with ...