3741 search results - page 561 / 749 » Interaction in creative tasks |
188
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
194
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
219
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
195
click to vote
ICAI
2009
15 years 4 months ago
2009
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
152
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reconstruction of ripped-up documents can be a very difficult and time-consuming task. This paper discusses a semi-automatic toolset that can be used for reconstructing rip...