نتایج جستجو برای: response style
تعداد نتایج: 1038478 فیلتر نتایج به سال:
Normal 0 false false false EN-US X-NONE AR-SA MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal" mso-tsty...
Style transfer of an image has been receiving attention from the scientific community since its inception in 2015. This topic is characterized by accelerated process innovation; it defined techniques that blend content and style, first covering only textural details, subsequently incorporating compositional features. The results such had a significant impact on our understanding inner workings ...
Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A complication for these systems is that bounds declared in the context do not interact well with the logical relation proof of completeness or termination. This paper proposes a natural modification to the type syntax for Fω...
Variations in acquiescence and extremity pose substantial threats to the validity of cross-cultural research that relies on survey methods. Individual and cultural correlates of response styles when using 2 contrasting types of response mode were investigated, drawing on data from 55 cultural groups across 33 nations. Using 7 dimensions of self-other relatedness that have often been confounded ...
Normal 0 false false false EN-GB X-NONE AR-SA MicrosoftInternetExplorer4 !mso]> st1":*{behavior:url(#ieooui) } /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal" mso-tst...
The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular “call with current continuation” and “throw”. We characterize this involvement as a control effect and we present a selective CPS transformation tha...
Many program optimisations involve transforming a program in direct style to an equivalent program in continuation-passing style. This paper investigates the theoretical underpinnings of this transformation in the categorical setting of monads. We argue that so-called absolute Kan Extensions underlie this program optimisation. It is known that every Kan extension gives rise to a monad, the code...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید