Results 261 to 270 of about 12,358,530 (296)
Some of the next articles are maybe not open access.
Expression Templates for Dot Product Expressions
Reliable Computing, 1999We use expression templates to obtain an easy to use, efficient C++ component for the computation of dot product expressions. Since loop fusion is done at compile time, we only need one dotprecision variable for arbitrary dot product expressions. The algorithms can easily be adapted to exploit parallelism in a distributed environment.
Michael Lerch +1 more
openaire +1 more source
2009 16th International Symposium on Temporal Representation and Reasoning, 2009
RoCTL* was proposed to model robustness in concurrent systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. Whether RoCTL* is more expressive than CTL* has remained an open problem since the RoCTL* logic was proposed.
John Christopher McCabe-Dansted +3 more
openaire +2 more sources
RoCTL* was proposed to model robustness in concurrent systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. Whether RoCTL* is more expressive than CTL* has remained an open problem since the RoCTL* logic was proposed.
John Christopher McCabe-Dansted +3 more
openaire +2 more sources
Expressive expression mapping with ratio images
Proceedings of the 28th annual conference on Computer graphics and interactive techniques, 2001Facial expressions exhibit not only facial feature motions, but also subtle changes in illumination and appearance (e.g., facial creases and wrinkles). These details are important visual cues, but they are difficult to synthesize. Traditional expression mapping techniques consider feature motions while the details in illumination changes are ignored ...
Zicheng Liu 0001 +2 more
openaire +1 more source
Individual face expressions and expression cloning
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 2004We develop a system to generate individual facial expression with minimal interactions, and expression cloning can be created for different 3D mesh model. In our system, expressions can be created with the muscle model, and muscular vectors adhere to the vertex in 3D mesh face model. Expressions can be generated after deforming the muscular vectors and
Ronghua Liang, Jiajun Bu, Chun Chen 0001
openaire +1 more source
Expression and What Is Expressed
The Southern Journal of Philosophy, 2017AbstractHow do we become aware of the properties or states that are expressed by gestures, utterances, and facial expressions? This paper argues that expression raises peculiar problems, distinct from those of property perception in general. It argues against some current accounts of awareness of expressed states, before proposing an account which ...
openaire +1 more source
Methods, 2000
Expression immunoassay is a sensitive analytical method that takes advantage of coupled in vitro transcription and translation as a signal amplification technique. Essentially, the immunoassay is performed using a detection antibody that is labeled with an expressible fragment of DNA.
S R, White +2 more
openaire +2 more sources
Expression immunoassay is a sensitive analytical method that takes advantage of coupled in vitro transcription and translation as a signal amplification technique. Essentially, the immunoassay is performed using a detection antibody that is labeled with an expressible fragment of DNA.
S R, White +2 more
openaire +2 more sources
Disquotationalism and Expressiveness
Journal of Philosophical Logic, 2005Kemp argues against the view that a truth predicate axiomatised be the disquotation scheme can serve the purpose of expressing generalisations that are not already expressible without the disquotation scheme. In particular, he argues against the claim that \textit{V.
openaire +1 more source
How expressive are LOTOS behaviour expressions?
1991It is a known result that, when in an action prefix language like LOTOS we have both recursion and parallel composition operators, the finite-state behaviour of processes is in general lost. Actual1y, this happens also when other LOTOS operators, such as enabling or disabling, are used in a recursive context.
Fantechi A, Gnesi S, Mazzarini G
openaire +2 more sources