9405 search results - page 401 / 1881 » Computing a Model of Set Theory |
197
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Motivated by the lossy compression of an active-vision video stream, we consider the problem of finding the rate-distortion function of an arbitrarily varying source (AVS) compos...
198
click to vote
MIAR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...
213
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
211
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
Location information is very useful in the design of sensor network infrastructures. In this paper, we study the anchor-free 2D localization problem by using local angle measureme...
194
click to vote
ICALP
2003
Springer
16 years 1 days ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...