12783 search results - page 379 / 2557 » Experimenting with computing |
198
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
118
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
170
click to vote
EGC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...
157
click to vote
BMVC
2001
15 years 9 months ago
2001
We present a new approach for the recognition of facial expressions from video sequences in the presence of occlusion. Although promising results have been reported in the literat...
171
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
We present a new technique called balanced randomized tree splitting. It is useful in constructing unknown trees recursively. By applying it we obtain two new results on efficient ...