2478 search results - page 36 / 496 » Quadtrees as an Abstract Domain |
109
click to vote
JAMDS
2002
15 years 1 months ago
2002
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
115
click to vote
ICDE
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
115
click to vote
TLCA
2005
Springer
15 years 7 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...
108
click to vote
SEBD
2008
15 years 3 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...
100
click to vote
IWDW
2007
Springer
15 years 8 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...