نتایج جستجو برای: modal
تعداد نتایج: 37711 فیلتر نتایج به سال:
In the study of knowledge representation formalisms, there is a current interest in the question of how different formal languages compare in their ability to compactly express semantic properties. Recently, French et al. [9] have shown that modal logics with a modality for public announcement, for everybody knows, and for somebody knows are all exponentially more succinct than basic modal logi...
the paper investigates into the vibrational characteristics of the truck chassis including the natural frequencies and mode shapes. truck chassis forms the structural backbone of a commercial vehicle. when the truck travels along the road, the truck chassis is excited by dynamic forces caused by the road roughness, engine, transmission and more. modal analysis using finite element method (fem) ...
The explosive growth of multimedia data on the Internet has magnified challenge information retrieval. Multimedia usually emerges in different modalities, such as image, text, video, and audio. Unsupervised cross-modal hashing techniques that support searching among multi-modal have gained importance large-scale retrieval tasks because advantage low storage cost high efficiency. Current methods...
When modal vectors are estimated from measured frequency response function (FRF) data, some amount of contamination in terms of random and bias errors is always present. The sources of these errors may be the experimental data acquisition process (calibration inconsistencies, averaging limitations, leakage errors, etc.) or due to limitations of the modal parameter estimation methods (mismatch b...
We show that if we interpret modal diamond as the derived set operator of a topological space, then the modal logic of Stone spaces is K4 and the modal logic of weakly scattered Stone spaces is K4G. As a corollary, we obtain that K4 is also the modal logic of compact Hausdorff spaces and K4G is the modal logic of weakly scattered compact Hausdorff spaces. §
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید