4190 search results - page 230 / 838 » Type Class Directives |
154
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
Similarity measure of document images acts a crucial role in the area of document image retrieval. A method of measuring the similarity of CCITT Group 4 compressed document images...
129
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
122
click to vote
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
Identifiable parent property (IPP) codes are introduced to provide protection against illegal producing of copyrighted digital material. In this paper we consider explicit constru...
154
click to vote
ANSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Delay tolerant networks (DTNs) are a class of networks that experience frequent and long-duration partitions due to sparse distribution of nodes. The topological impairments ex...
119
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...