128 search results - page 15 / 26 » Class Invariants by the CRT Method |
95
Voted
FM
2003
Springer
15 years 7 months 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
15 years 6 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...
112
click to vote
DAGM
2006
Springer
15 years 5 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
14 years 8 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 ...
71
Voted
ICIP
2003
IEEE
16 years 3 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...