896 search results - page 17 / 180 » Stepwise Refinement of Processes |
68
Voted
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
101
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
118
Voted
ICIP
1999
IEEE
16 years 3 months ago
1999
IEEE
This paper presents an iterative algorithm for approximating gray-scale images with adaptive triangular meshes ensuring a given tolerance. At each iteration, the algorithm applies...
114
click to vote
FLAIRS
2006
15 years 3 months ago
2006
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...