1695 search results - page 156 / 339 » Interactive query refinement |
180
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
184
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
183
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
146
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a novel technique for calibrating displaycamera systems from reflections in the user's eyes. Displaycamera systems enable a range of vision applications that need ...
152
Voted
CHI
2008
ACM
2008
ACM
Employing patterns and layers for early-stage design and prototyping of cross-device user interfaces
16 years 6 months ago
Designing UIs that run across multiple devices is increasingly important. To address this, we have created a prototyping tool called Damask, which targets web UIs that run on PCs ...