Sciweavers

3379 search results - page 481 / 676
» Powers of Two
Sort
View
116
Voted
HPDC
1996
IEEE
15 years 7 months ago
Multimedia Multiparty Services to Native ATM Desktops
Telecommunications, Computing, and Video Technologies are rapidly converging, creating a new multimedia industry that will serve emerging markets on the information highways. To s...
H. Ouibrahim, J. A. van den Broecke
157
Voted
ICDT
1997
ACM
138views Database» more  ICDT 1997»
15 years 7 months ago
Tractable Iteration Mechanisms for Bag Languages
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
Latha S. Colby, Leonid Libkin
IFL
1997
Springer
15 years 7 months ago
WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations
This paper introduces a new compiler optimization called with-loop-folding. It is based on a special loop construct, the withloop, which in the functional language Sac (for Single ...
Sven-Bodo Scholz
123
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
Improv: A System for Scripting Interactive Actors in Virtual Worlds
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
Ken Perlin, Athomas Goldberg
123
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
Set Operations for Recurrent Term Schematizations
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
Ali Amaniss, Miki Hermann, Denis Lugiez