5275 search results - page 218 / 1055 » Computing by observing |
126
click to vote
CHI
1993
ACM
15 years 8 months ago
1993
ACM
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
124
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
136
click to vote
SI3D
2010
ACM
15 years 8 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
122
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a methodology for learning spline-based probabilistic models for sets of contours, proposing a new Monte Carlo variant of the EM algorithm to estimate the parameters of...