625 search results - page 78 / 125 » Generalized Ring Signatures |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a new approach to the general problem of template-based segmentation, detection, and registration. This joint problem is highly nonlinear and high dimensional, due to t...
ICTAC
2007
Springer
14 years 1 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
DDECS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this work, we cope with the problem of identifying the number of repetitions of a specific video clip in a target video clip. Generally, the methods that deal with this proble...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...