20573 search results - page 3817 / 4115 » The Computer's New Clothes |
175
click to vote
FPCA
1995
15 years 8 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
145
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...
163
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
150
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper we describe a new e cient algorithm for recognizing 3D objects by combining photometric and geometric invariants. Some photometric properties are derived, that are i...
150
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...