896 search results - page 17 / 180 » Stepwise Refinement of Processes |
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
CORR
2006
Springer
13 years 8 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...
ICIP
1999
IEEE
14 years 10 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...
FLAIRS
2006
13 years 10 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 ...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE