نتایج جستجو برای: completion
تعداد نتایج: 48724 فیلتر نتایج به سال:
Nonmonotonic causal logic is a knowledge representation language designed for describing domains that involve actions and change. The process of literal completion, similar to program completion familiar from the theory of logic programming, can be used to translate some nonmonotonic causal theories into classical logic. Its applicability is restricted, however, to theories that deal with truth...
The purpose of this sequel to [5] is to construct and characterize completions of G-spaces, where G is a compact Lie group. We assume the notations and results of [5]. It is a pleasure to thank Pete Bousfield for the proof of Lemma 12. Since completions are less generally familiar than localizations, a quick summary of the relevant part of the nonequivariant theory is in order. We are intereste...
A fundamental component of modern trackers is an online learned tracking model, which is typically modeled either globally or locally. The two kinds of models perform differently in terms of effectiveness and robustness under different challenging situations. This work exploits the advantages of both models. A subspace model, from a global perspective, is learned from previously obtained target...
Background: Laparoscopic cholecystectomy is a minimally invasive procedure whereby the gallbladder is removed using laparoscopic techniques. Monopolar electerosurgical energy is the method of dissection of gallbladder from liver bed. Ultrasonic energy causes less thermal damage and suggests an alternative to monopolar elevterocautery. Leptin is a tissue factor and C-reactive protein (CRP) is an...
this paper reports on the findings of a study designed to investigate the cultural and social complexities governing the compliment responses among the persian native speakers. 200 persian respondents took a 24-item discourse completion task (dct) while 15 native field workers were also set responsible for collecting the examples of complimenting exchanges they either observed or participated i...
We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration. Mathematics Subject Classification 55R15 · 55R35 · 55U10 · 18C50
The visual system completes image fragments into larger regions when those fragments are taken to be the visible portions of an occluded object. Kellman and Shipley (1991) argued that this "amodal" completion is based on the way that the contours of image fragments "relate." Contours relate when their imaginary extensions intersect at an obtuse or right angle. However, it is shown here that con...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید