3025 search results - page 299 / 605 » Interaction in the large |
154
click to vote
UIST
2006
ACM
16 years 22 days ago
2006
ACM
We propose WindowScape, a window manager that uses a photograph metaphor for lightweight, post hoc task management. This is the first task management windowing model to provide in...
182
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
172
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a novel approach for designing a semi-automatic adaptive OCR for large document image collections in digital libraries. We describe an interactive system for co...
203
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—As smart home technologies continue to be deployed in research and real world environments, there continues to be a need for quality visualization of the smart home data. This d...
206
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...