منابع مشابه
The Largest DLP Possible
Description Logic Programs (DLP) have been described as a description logic (DL) that is in the “expressive intersection” of DL and datalog. This is a very weak guideline for defining DLP in a way that can be claimed to be optimal or maximal in any sense. Moreover, other DL fragments such as EL and Horn-SHIQ have also been “expressed” using datalog. So is DLP just one out of many equal DLs in t...
متن کاملA Matter of Principles: Towards the Largest DLP Possible
Description Logic Programs (DLP) have been described as a description logic (DL) that is in the “expressive intersection” of DL and datalog. This is a very weak guideline for defining DLP in a way that can be claimed to be optimal or maximal in any sense. Moreover, other DL fragments such as EL and Horn-SHIQ have also been “expressed” using datalog. Is DLP just one out of many equal DLs in this...
متن کاملAlgorithm for finding the largest inscribed rectangle in polygon
In many industrial and non-industrial applications, it is necessary to identify the largest inscribed rectangle in a certain shape. The problem is studied for convex and non-convex polygons. Another criterion is the direction of the rectangle: axis aligned or general. In this paper a heuristic algorithm is presented for finding the largest axis aligned inscribed rectangle in a general polygon. ...
متن کاملthe scanning electron microscope
it is only thirteen years since the scanning electron microscope has been available commercially. yet, even in this short period of time, this instrument has been a powerful tool in the investigation of topography, electrical and magnetic properties, crystal structure, cathodoluminescent characteristics etc. of solid specimens. today, this type of microscope has opened its place alongside the c...
متن کاملThe largest small Polytopes
The aim of this paper is the determination of the largest n-dimensional polytope with n+3 vertices of unit diameter. This is a special case of a more general problem Graham proposes in [2].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microscopy Today
سال: 1994
ISSN: 1551-9295,2150-3583
DOI: 10.1017/s1551929500066232