895 search results - page 43 / 179 » A User Guide to HyTech |
157
Voted
NFM
2011
14 years 11 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
142
Voted
IEEEVAST
2010
14 years 11 months ago
2010
DimStiller is a system for dimensionality reduction and analysis. It frames the task of understanding and transforming input dimensions as a series of analysis steps where users t...
148
click to vote
CSCW
2012
ACM
13 years 11 months ago
2012
ACM
Photoshop with Friends is an online community of learners exchanging just-in-time help on graphic design tasks. The system attempts to provide an interactive, visual, context-awar...
153
Voted
TEI
2012
ACM
13 years 11 months ago
2012
ACM
Existing 3D sketching methods typically allow the user to draw in empty space which is imprecise and lacks tactile feedback. We introduce a shape-stamping interface where users ca...
106
click to vote
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we discuss the re-orientation of humancomputer interaction as an aesthetic field. We argue that mainstream approaches lack of general openness and ability to assess ...