7129 search results - page 407 / 1426 » Approximation Algorithms for Treewidth |
176
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
130
click to vote
ICTAI
2006
IEEE
15 years 11 months ago
2006
IEEE
Mean shift based feature space analysis has been shown to be an elegant, accurate and robust technique. The elegance in this non-parametric algorithm is mainly due to its simplici...
138
click to vote
SCALESPACE
2005
Springer
15 years 10 months ago
2005
Springer
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
139
Voted
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
138
click to vote
ISAAC
2004
Springer
15 years 10 months ago
2004
Springer
String comparison is a fundamental problem in computer science, with applications in areas such as computational biology, text processing or compression. In this paper we address t...