5634 search results - page 240 / 1127 » About Abstract Classes |
DATESO
2004
15 years 1 months ago
2004
Abstract. The aim of the article is to inform about the INEX initiative, its testing data set, actual results, and future plans. We discuss and demonstrate possible utilization of ...
114
click to vote
FMOODS
2003
15 years 1 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
DAGM
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We introduce a novel approach for separating and segmenting individual facades from streetside images. Our algorithm incorporates prior knowledge about arbitrarily shaped...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
105
click to vote
RITA
2000
14 years 11 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...