5228 search results - page 797 / 1046 » Case Studies for Software Engineers |
158
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
196
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Haptic feedback provides an additional interaction channel when auditory and visual feedback may not be appropriate. We present a novel haptic feedback system that changes its ela...
165
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Screen-less wearable devices allow for the smallest form factor and thus the maximum mobility. However, current screen-less devices only support buttons and gestures. Pointing is ...
220
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...
169
click to vote
PAMI
2012
13 years 9 months ago
2012
—The restoration of a blurry or noisy image is commonly performed with a MAP estimator, which maximizes a posterior probability to reconstruct a clean image from a degraded image...