128 search results - page 15 / 26 » Class Invariants by the CRT Method |
FM
2003
Springer
14 years 17 days ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
APSEC
1999
IEEE
13 years 11 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
DAGM
2006
Springer
13 years 11 months ago
2006
Springer
Weighted averaging filters and nonlinear partial differential equations (PDEs) are two popular concepts for discontinuity-preserving denoising. In this paper we investigate novel r...
TOG
2010
13 years 2 months ago
2010
High-dimensional Gaussian filters, most notably the bilateral filter, are important tools for many computer graphics and vision tasks. In recent years, a number of techniques for ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper introduces a new method to register images that are rotated and translated with respect to each other. The method works by transforming each image to a gradient distrib...