895 search results - page 43 / 179 » A User Guide to HyTech |
197
click to vote
NFM
2011
15 years 26 days 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...
189
click to vote
IEEEVAST
2010
15 years 25 days 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...
170
click to vote
CSCW
2012
ACM
14 years 1 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...
179
click to vote
TEI
2012
ACM
14 years 1 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...
128
click to vote
NORDICHI
2004
ACM
15 years 11 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 ...