3047 search results - page 333 / 610 » On the Meaning of Logical Completeness |
255
click to vote
JCST
2010
15 years 2 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
180
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
The Stack algorithm, which is a best-first search algorithm widely used in speech recognition, is modified for application to the problem of recognizing machine printed text in th...
303
Voted
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
193
click to vote
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
Automated segmentation of the esophagus in CT images is of high value to radiologists for oncological examinations of the mediastinum. It can serve as a guideline and prevent confu...
199
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...