• Aucun résultat trouvé

[PDF] Top 20 On Additivity in Transformation Languages

Has 10000 "On Additivity in Transformation Languages" found on our website. Below are the top 20 most common "On Additivity in Transformation Languages".

On Additivity in Transformation Languages

On Additivity in Transformation Languages

... available. Additivity ensures that the rest of the ATL transformation produces sub- models of the output of the original ATL transformation, and so does the UnQL transformation that is ... Voir le document complet

12

Languages and Model Transformation in Constraint Programming

Languages and Model Transformation in Constraint Programming

... soutien et es longues onversations téléphoniques. Je remer ie aussi mes beaux-parents pour leur soutien et leurs nombreuses visites qui ont rendu notre séjour en F ran e en ore plus plaisant. Enn, omment ne pas remer ... Voir le document complet

177

Reuse of process-based models: automatic transformation into many programming languages and simulation platforms

Reuse of process-based models: automatic transformation into many programming languages and simulation platforms

... of languages and ...existing languages. The main source of complexity is in the model ...reusability in different contexts. A transformation system embeds platform specificities to ... Voir le document complet

44

A Generic RDF Transformation Software and its Application to an Online Translation Service for Common Languages of Linked Data

A Generic RDF Transformation Software and its Application to an Online Translation Service for Common Languages of Linked Data

... in RDF, to facilitate storage and maintenance. Many other languages can (and will) be “serialized” into ...expressions in RDF, and we consider that RDF can then be viewed as a pivot language to ... Voir le document complet

17

A logical approach to locality in pictures languages

A logical approach to locality in pictures languages

... able languages and of linear time bounded complexity classes of multidimensional cellular automata al- though, paradoxically, his paper never mentions cellular ...word languages (resp. 2-picture ... Voir le document complet

68

Equative and similative constructions in Chibchan languages

Equative and similative constructions in Chibchan languages

... reported in Haspelmath et ...comparative in Stassen’s typology (1985:183-188), polarity schema in Heine’s description (1997:116-118) and paratactic construction (type V) in Henkelmann’s ... Voir le document complet

13

Equative and similative constructions in Chibchan languages

Equative and similative constructions in Chibchan languages

... reported in Haspelmath et ...comparative in Stassen’s typology (1985:183-188), polarity schema in Heine’s description (1997:116-118) and paratactic construction (type V) in Henkelmann’s ... Voir le document complet

18

Semantic Shift in English and Arabic Languages

Semantic Shift in English and Arabic Languages

... Introduction In the very early months of studying Linguistics, I thought about the theme of my Master’s degree ...occur?” In trying to find an answer to this question, I have done some research in ... Voir le document complet

53

Curiosity and Languages

Curiosity and Languages

... and Languages Pierre-Yves Oudeyer In a big egg that has just opened, a tribe of young robotic creatures evolves and explores its environment, wreathed by a large zero that symbolizes the ... Voir le document complet

5

Globalizing Modeling Languages

Globalizing Modeling Languages

... Modeling Languages Model-Driven Engineering (MDE) aims at reducing the accidental complexity associated with developing complex software-intensive systems ...programming languages [2]. Manually bridging ... Voir le document complet

6

Scoped Extension Methods in Dynamically-Typed Languages

Scoped Extension Methods in Dynamically-Typed Languages

... overlap. In the context of extension methods, the probability of accidental overwrites and overrides is large because any package can declare an extension method for any ...upper in the ... Voir le document complet

27

Texts, Languages & Information Technology in Egyptology. Introduction

Texts, Languages & Information Technology in Egyptology. Introduction

... Genres in Late Egyptian This paper is a first step in applying machine learning methods typical of Automated Text Catego- rization (ATC) for Automatic Genre Identification (AGI) in Late Egyptian, a ... Voir le document complet

15

New Electronic Resources for Texts in Manding Languages.

New Electronic Resources for Texts in Manding Languages.

... specialists in all adjacent fields dealing with Bambara texts and terms: scholars from cultural, social and even political anthropology who participate in the study of written and oral literature all need ... Voir le document complet

15

Languages, Political Cultures and Solidarity in Europe

Languages, Political Cultures and Solidarity in Europe

... solidarity in societies involve the role of identifications with the national political systems that provide an indispensable and pragmatic support – ...national in another, trivial, sense, and from a ... Voir le document complet

18

Voiceless nasal sounds in three Tibeto-Burman languages

Voiceless nasal sounds in three Tibeto-Burman languages

... Tibeto-Burman languages of Southwest China of the Lolo- Burmese and Qiangic subgroups—and also including Na languages held to be transitional between Lolo-Burmese and Qiangic (Bradley 1997: 37)—have one ... Voir le document complet

45

Critical Behavior in Physics and Probabilistic Formal Languages

Critical Behavior in Physics and Probabilistic Formal Languages

... detailed in Appendix D ...system in physics: a 1D slice through a critical 2D Ising model, where the slope is − ...poems in the French sample and by html-like syntax in the Wikipedia ... Voir le document complet

26

Challenges for Language Technologies in Critically Endangered Languages

Challenges for Language Technologies in Critically Endangered Languages

... these languages is reduced to a language expert (which could be a linguist, an anthropologist or a teacher) and in best case scenarios, a few ...mentioned, in the context of critically endangered ... Voir le document complet

5

Formal specification of block libraries in dataflow languages

Formal specification of block libraries in dataflow languages

... defined in the Delay block specification in List- ing ...expressed in a BlockMode to generate an Embedded Matlab or Scilab ...instance. In this way, we generate an oracle that provides ... Voir le document complet

11

Locally Finite Languages

Locally Finite Languages

... word languages appear in the theory of traces for the modelization of concurrency [DR95] and in the work about timed automata when one consider that an infinite number of actions may happen during a ... Voir le document complet

56

Denotational proof languages

Denotational proof languages

... What we wanted was a small but powerful formal language in which to write down proofs in a lucid and structured style; it should have an exceptionally clean and si[r] ... Voir le document complet

421

Show all 10000 documents...