نتایج جستجو برای: formational interpretation
تعداد نتایج: 148947 فیلتر نتایج به سال:
In the analysis of logic programs, abstract domains for detecting sharing properties are widely used. Recently the new domain ShLin has been introduced to generalize both sharing and linearity information. This domain is endowed with an optimal abstract operator for single-binding unification. The authors claim that the repeated application of this operator is also optimal for multi-binding uni...
The voting rule considered in this paper belongs to a large class of voting systems, called “range voting” or “utilitarian voting”, where each voter rates each candidate with the help of a given evaluation scale and the winner is the candidate with the highest total score. In approval voting the evaluation scale only consists of two levels: 1 (approval) and 0 (non approval). However non approva...
Interpretation from a Topological Perspective
Interpretation with Alien Expressions
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید