Sciweavers

915 search results - page 104 / 183
» Proof labeling schemes
Sort
View
JMIV
2010
78views more  JMIV 2010»
14 years 9 months ago
Mathematical Modeling of Textures: Application to Color Image Decomposition with a Projected Gradient Algorithm
: In this paper, we are interested in texture modeling with functional analysis spaces. We focus on the case of color image processing, and in particular color image decomposition....
Vincent Duval, Jean-François Aujol, Luminit...
ANLP
1997
73views more  ANLP 1997»
15 years 17 days ago
Software for Annotating Argument Structure
We present a tool developed for annotating corpora with argument structure representations. The presentation focuses on the architecture of the annotation scheme and a number of t...
Wojciech Skut, Brigitte Krenn, Thorsten Brants, Ha...
PAMI
2008
250views more  PAMI 2008»
14 years 11 months ago
Combined Top-Down/Bottom-Up Segmentation
We construct an image segmentation scheme that combines top-down (TD) with bottom-up (BU) processing. In the proposed scheme, segmentation and recognition are intertwined rather th...
Eran Borenstein, Shimon Ullman
PKC
2009
Springer
180views Cryptology» more  PKC 2009»
15 years 11 months ago
Security of Sanitizable Signatures Revisited
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...
Anja Lehmann, Christina Brzuska, Dominique Schr&ou...
ICDCS
2007
IEEE
15 years 5 months ago
Combating Double-Spending Using Cooperative P2P Systems
An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that ...
Ivan Osipkov, Eugene Y. Vasserman, Nicholas Hopper...