4502 search results - page 235 / 901 » Regular Model Checking |
215
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
168
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper we present a method for impulse noise removal that makes use of spectral clustering and graph regularization. The image is modeled as a graph and local spectral anal...
208
Voted
MIMI
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents an image super-resolution method that enhances spatial resolution of MRI images in the slice-select direction. The algorithm employs Tikhonov regularization, us...
168
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
161
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The support vector domain description is a one-class classification method that estimates the shape and extent of the distribution of a data set. This separates the data ...