1734 search results - page 108 / 347 » What works |
EACL
2009
ACL Anthology
14 years 9 months ago
2009
ACL Anthology
ion Benjamin Van Durme, Phillip Michalak and Lenhart K. Schubert Department of Computer Science University of Rochester Rochester, NY 14627, USA Existing work in the extraction of...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
In this work, we use qualitative field studies to examine the role of physical artifacts in conjunction with and comparison to digital communication. We investigate what people co...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Learning from end-users is essential to participatory design. In order to learn from end-users we need to find end-users to collaborate with. However, finding end-users can be the...
DAWAK
2009
Springer
14 years 6 months ago
2009
Springer
Interactive analysis of datacube, in which a user navigates a cube by launching a sequence of queries is often tedious since the user may have no idea of what the forthcoming query...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...