3931 search results - page 349 / 787 » Separation logic and abstraction |
200
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
152
click to vote
GD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...
182
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— Minimally invasive surgery (MIS) challenges the surgeon’s skills due to his separation from the operation area which can only be reached with long instruments. To ove...
167
click to vote
ACIVS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. A novel frequency domain technique for image blocking artifact reduction is presented in this paper. For each block, its DC and AC coefficients are recalculated for artif...
141
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...