10916 search results - page 295 / 2184 » On Constructive Connectives and Systems |
139
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
168
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents a new constraint connecting the signals in multiple views of a surface. The constraint arises from a harmonic analysis of the geometry of the imaging process a...
306
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
175
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, spherical harmonics are proposed as shape descriptors for 2d images. We introduce the concept of connectivity; 2d images are decomposed using connectivity which is ...
198
click to vote
INFOCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
— We present decentralized algorithms that compute minimum-cost subgraphs for establishing multicast connections in networks that use coding. These algorithms, coupled with exist...