Sciweavers

5075 search results - page 601 / 1015
» Interaction Design for the Disappearing Computer
Sort
View
GG
2008
Springer
15 years 8 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
217
Voted
CG
2008
Springer
15 years 7 months ago
Sketching contours
We introduce an over-sketching interface for feature-preserving surface mesh editing. The user sketches a stroke that is the suggested position of part of a silhouette of the disp...
Johannes Zimmermann, Andrew Nealen, Marc Alexa
191
Voted
ARITH
2005
IEEE
16 years 1 months ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
Marc Daumas, Guillaume Melquiond, César Mu&...
178
Voted
NOSSDAV
2001
Springer
16 years 3 days ago
Analysis of educational media server workloads
This paper presents an extensive analysis of the client workloads for educational media servers at two major U.S. universities. The goals of the analysis include providing data fo...
Jussara M. Almeida, Jeffrey Krueger, Derek L. Eage...
201
Voted
CHI
2009
ACM
16 years 8 months ago
Towards intelligent authoring tools for machinima creation
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
Brian O'Neill, Mark O. Riedl, Michael Nitsche