Results 21 to 30 of about 27,790 (125)
A GROOVE Solution for the BPMN to BPEL Model Transformation [PDF]
, 2009 In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set.
Mol, M.J. de, Zimakova, M.V.
core +2 more sources
Discussion of the De Generatione Sonorum, a treatise on sound and phonetics by Robert Grosseteste [PDF]
, 2012 Here I am proposing a translation and discussion of the De Generatione Sonorum, one of the short scientific treatises written by Robert Grosseteste. The subject is the sound and the phonetics.
Sparavigna, Amelia Carolina
core
Revista Linguística, 2015 This squib considers some of the issues surrounding the growth and contractions of contentful schemas in the history of English, and the appearance of new word types. An outcome of recent research into language change from the perspective of construction
Graeme Trousdale
doaj
Wittgenstein's Thought Experiments and Relativity Theory [PDF]
, 2019 In this paper, I discuss the similarity between Wittgenstein’s use of thought experiments and Relativity Theory. I begin with introducing Wittgenstein’s idea of “thought experiments” and a tentative classification of different kinds of thought ...
Barry Stroud +18 more
core +3 more sources
SKOPE: A connectionist/symbolic architecture of spoken Korean processing
, 1995 Spoken language processing requires speech and natural language integration. Moreover, spoken Korean calls for unique processing methodology due to its linguistic characteristics.
Lee, Geunbae, Lee, Jong-Hyeok
core +1 more source
From \u3ci\u3eHeo\u3c/i\u3e to \u3ci\u3eZir\u3c/i\u3e: A History of Gender Expression in the English Language [PDF]
, 2018 With the growing presence of the LGBTQ+ community on the global stage, the matter of gender has been rushed to the forefront of the public consciousness.
Robinson, Brodie
core +1 more source
, 2008 Interaction Grammar (IG) is a grammatical formalism based on the notion of polarity. Polarities express the resource sensitivity of natural languages by modelling the distinction between saturated and unsaturated syntactic structures.
Bruno Guillaume +5 more
core +8 more sources
Fast Cut-Elimination using Proof Terms: An Empirical Study
, 2018 Urban and Bierman introduced a calculus of proof terms for the sequent calculus LK with a strongly normalizing reduction relation. We extend this calculus to simply-typed higher-order logic with inferences for induction and equality, albeit without ...
Ebner, Gabriel
core +2 more sources
On the connections between PCTL and Dynamic Programming
, 2009 Probabilistic Computation Tree Logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking.
Chatterjee, Debasish +3 more
core +1 more source