13784 search results - page 2106 / 2757 » On Computing Functions with Uncertainty |
213
click to vote
ICCV
1995
IEEE
15 years 11 months ago
1995
IEEE
Atheoreticalframeworkisintroducedfortheperceptionofspecularsurfacegeometry.Whenanobserver moves in three-dimensional space, real scene features such as surface markings remain stat...
190
click to vote
ICDCS
1995
IEEE
15 years 11 months ago
1995
IEEE
: A general purpose group communication protocol suite called Newtop is described. It is assumed that processes can simultaneously belong to many groups, group size could be large,...
210
click to vote
IRREGULAR
1995
Springer
15 years 11 months ago
1995
Springer
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
185
click to vote
SI3D
1995
ACM
15 years 11 months ago
1995
ACM
: We present an exact and interactive collision detection system, I-COLLIDE, for large-scale environments. Such environments are characterized by the number of objects undergoing r...
208
click to vote
REX
1991
15 years 11 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...