7150 search results - page 383 / 1430 » An Approximation Algorithm for Approximation Rank |
174
click to vote
FORMATS
2004
Springer
16 years 5 days 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...
164
click to vote
ISAAC
2004
Springer
16 years 5 days 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...
188
Voted
ISAAC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we propose a Markov chain for sampling a random vector distributed according to a discretized Dirichlet distribution. We show that our Markov chain is rapi...
181
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Interpolation is required in many medical image processing operations. From sampling theory, it follows that the ideal interpolation kernel is the sinc function, which is of infin...
220
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes and evaluates an efficient technique that allows the fast generation of 3D triangular meshes from range images avoiding optimization procedures. Such a tool ...