5863 search results - page 823 / 1173 » On Model-Checking of P Systems |
191
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
168
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Peer-to-peer storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement m...
186
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we describe a nonlinear image representation based on divisive normalization that is designed to match the statistical properties of photographic images, as well as...
152
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Research in distributed video coding for low complexity encoding has shown that without knowledge of the correlation between source and side information (i.e. the behavior of the ...
187
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
Digital Watermarking is seen as a viable solution to authentication of multimedia data and hence its security, especially in a networked environment. In this paper we present a ne...