2451 search results - page 38 / 491 » The Octagon Abstract Domain |
144
click to vote
IJCAI
2003
15 years 7 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
153
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
146
click to vote
SEBD
2008
15 years 7 months ago
2008
d Abstract) Daniele Braga1 , Diego Calvanese2 , Alessandro Campi1 , Stefano Ceri1 , Florian Daniel1 , Davide Martinenghi1 , Paolo Merialdo3 , Riccardo Torlone3 1 Dip. di Elettronic...
135
click to vote
IWDW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Scaling attacks are well-known to be some of the most harmful strategies against quantization-based watermarking methods, as they desynchronize the decoder, completely ru...
125
click to vote
CP
2005
Springer
15 years 11 months 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...