1521 search results - page 59 / 305 » Role analysis |
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
117
click to vote
FORTE
2007
15 years 2 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
107
click to vote
BIOCOMP
2006
15 years 2 months ago
2006
We carry out a comprehensive study of long-range interactions on a large data set of non-homologous proteins. Our study reveals that the long-range interactions between amino acid...
107
click to vote
IMAGING
2004
15 years 2 months ago
2004
We investigate the implications of a unified spatiochromatic basis for image compression and reconstruction. Different adaptive and general methods (PCA, ICA, and DCT) are applied...
120
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
In many application scenarios digital images play a basic role and often it is important to assess if their content is realistic or has been manipulated to mislead watcher’s opi...