3724 search results - page 92 / 745 » Timed regular expressions |
132
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
We address the issue of regularizing Osher and Rudin's shock filter, used for image deblurring, in order to allow processes that are more robust against noise. Previous soluti...
138
Voted
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
We introduce a real-time robust tracking procedure for a regular pattern marked on a flexible moving surface such as cloth. Our system is capable of maintaining the tracked grid s...
119
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
115
Voted
DATE
2003
IEEE
2003
IEEE
Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures
15 years 9 months ago
In this paper, we present an algorithm which automatically maps the IPs onto a generic regular Network on Chip (NoC) architecture and constructs a deadlock-free deterministic rout...
135
click to vote
DAM
2007
15 years 3 months ago
2007
It is shown that the set of hybrid one-dimensional reversible cellular automata (CA) with the periodic boundary condition is a regular set. This has several important consequences...