Sciweavers

4190 search results - page 657 / 838
» Implementing commitment-based interactions
Sort
View
MM
1996
ACM
120views Multimedia» more  MM 1996»
15 years 7 months ago
Negotiation for Automated Generation of Temporal Multimedia Presentations
Creating high-quality multimediapresentationsrequiresmuch skill, time, and effort. This is particularly true when temporal media, such as speech and animation, are involved. We de...
Mukesh Dalal, Steven Feiner, Kathleen McKeown, Shi...
MM
1996
ACM
128views Multimedia» more  MM 1996»
15 years 7 months ago
The Case for Reliable Concurrent Multicasting Using Shared Ack Trees
Such interactive, distributed multimedia applications as shared whiteboards, group editors, and simulations require reliable concurrent multicast services, i.e., the reliable diss...
Brian Neil Levine, David B. Lavo, J. J. Garcia-Lun...
118
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
Linear-Time Dynamics Using Lagrange Multipliers
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
David Baraff
140
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
Real-Time, Continuous Level of Detail Rendering of Height Fields
We present an algorithm for real-time level of detail reduction and display of high-complexity polygonal surface data. The algorithm uses a compact and efficient regular grid repr...
Peter Lindstrom, David Koller, William Ribarsky, L...
TACS
1997
Springer
15 years 7 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan