2137 search results - page 372 / 428 » Proving Abstract Non-interference |
LOGCOM
2007
13 years 9 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Abstract-Boltzmann selectionis an important selection mechanism in evolutionary algorithms as it has theoretical properties which help in theoretical analysis. However, Boltzmann s...
MOC
1998
13 years 9 months ago
1998
Abstract. An iterative procedure for numerical conformal mapping is presented which imposes no restriction on the boundary complexity. The formulation involves two analytically equ...
TCAD
1998
13 years 9 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
TIP
2002
13 years 9 months ago
2002
Abstract--We address the problem of computing a local orientation map in a digital image. We show that standard image gray level quantization causes a strong bias in the repartitio...