نتایج جستجو برای: theoretical basis
تعداد نتایج: 651639 فیلتر نتایج به سال:
Legal computer science requires a theoretical basis which can be realized in practice because it has to be both good science and good engineering. Scientiic rigour expects the use of mathematics, and engineering needs that mathematics to be constructive. Theoretical computer science has recently seen exciting developments in constructive mathematics with the application of category theory. A pr...
Optical Rails is a purely view-based method for steering a robot through a network of positions in a known environment. Navigation is based on images aquired by an upward-looking omnidirectional camera; even a very modest quality of the optical system is sufficient, since all views are represented in terms of low-order basis functions (spherical harmonics). The theoretical concept of Optical Ra...
Measure and category (or rather, their recursion-theoretical counterparts) have been used in theoretical computer science to make precise the intuitive notion “for most of the recursive sets”. We use the notions of effective measure and category to discuss the relative sizes of inferrible sets, and their complements. We find that inferable sets become large rather quickly in the standard hierar...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید