148
click to vote
CAIP
1995
Springer
15 years 7 months ago
1995
Springer
This paper addresses the problem of 3D surface reconstruction using image sequences. It has been shown that shape recovery from three or more occluding contours of the surface is p...
143
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
136
click to vote
CA
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents techniques and tools for creating and animating virtual actors in real scenes. Several problems are explained: real objects hidden by virtual actors and virtua...
139
Voted
CA
1995
IEEE
15 years 7 months ago
1995
IEEE
: In this paper we describe a method for modeling the dynamic behavior of splashing fluids. The model simulates the behavior of a fluid when objects impact or float on its surfa...
125
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...