2492 search results - page 207 / 499 » On the General Signature Trees |
185
click to vote
ICPR
2008
IEEE
16 years 1 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...
164
click to vote
ICTAC
2007
Springer
16 years 22 days 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...
185
click to vote
DDECS
2006
IEEE
16 years 19 days 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...
166
click to vote
ICMCS
2006
IEEE
16 years 19 days 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...
163
click to vote
HICSS
2005
IEEE
16 years 6 days 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...