6941 search results - page 798 / 1389 » Testing as a Certification Approach |
199
click to vote
ECP
1999
Springer
15 years 11 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
170
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
208
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test c...
145
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
Infrastructure management offices plan and complete several thousand small construction projects annually. Effective planning is vital if the public and private sectors are to mai...
175
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
We present algorithms for the automatic delineation of lung fields in chest radiographs. We first develop a rule-based scheme that detects lung contours using a general framework...