1358 search results - page 230 / 272 » Proceedings |
135
click to vote
FPCA
1995
15 years 4 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...
93
Voted
ICDAR
1995
IEEE
15 years 4 months ago
1995
IEEE
We propose a technique that makes use of a proximity metric for delineating partially or fully bounded regions of a scanned bitmap that depicts a building floor plan. A proximity...
KBSE
1995
IEEE
15 years 4 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
MFCS
1995
Springer
15 years 4 months ago
1995
Springer
In AS , we de ned a notion of measure on the complexity class P in the spirit of the work of Lutz L92 that provides a notion of measure on complexity classes at least as large as...
107
Voted
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...