• Aucun résultat trouvé

[PDF] Top 20 Volumetry of timed languages and applications

Has 10000 "Volumetry of timed languages and applications" found on our website. Below are the top 20 most common "Volumetry of timed languages and applications".

Volumetry of timed languages and applications

Volumetry of timed languages and applications

... proof of Theorem 5 is rather technical, and uses together with “timed” techniques inspired by [Pur00, AKY10], the monoid version of Ramsey’s theory, namely Simon’s fac- torization forests ... Voir le document complet

177

Bridging the Gap Between Formal Languages and Natural Languages with Zippers

Bridging the Gap Between Formal Languages and Natural Languages with Zippers

... concrete applications. We here give a detailed and independent account of the N<A>F design pattern in order to facilitate its reuse in other ...(N<A) and FL (A>F). Second, ... Voir le document complet

16

Refinements and Abstractions of Signal-Event (Timed) Languages

Refinements and Abstractions of Signal-Event (Timed) Languages

... compositions of such elementary substitu- tions and of ...substitution of events. So let σ be a SEL-substitution satisfying the condition of the theorem and which is defined by a ... Voir le document complet

15

Two Size Measures for Timed Languages

Two Size Measures for Timed Languages

... studies of timed regular languages, especially with punctual ...components of information content have been identified and characterized: one represents the dimensionality, another the ... Voir le document complet

19

A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications

A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications

... developing applications on multiprocessor platforms due to their broad availability and the looming horizon of many-core chip, such as the MPPA chip from Kalray (256 cores) [1] or the SThorm chip ... Voir le document complet

6

On the representation of timed polyhedra

On the representation of timed polyhedra

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

17

Performance evaluation of timed automata

Performance evaluation of timed automata

... Unite´ de recherche INRIA Lorraine, Technoˆpole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, IRI[r] ... Voir le document complet

37

Runtime Enforcement of Timed Properties

Runtime Enforcement of Timed Properties

... form of a sequence of events) is modified into an output sequence that complies to a ...context of untimed properties. This paper introduces runtime enforcement of timed ...foundations ... Voir le document complet

16

Static and dynamic semantics of NoSQL languages

Static and dynamic semantics of NoSQL languages

... inspired and stems from previous works on the XML iterators, targeting NoSQL languages made the filter calculus presented here substantially different from the one of [9, 23] (dubbed XML filters in ... Voir le document complet

26

Remote testing of timed specifications

Remote testing of timed specifications

... problem of relative order between events induced by the communication process without state space ...(IOSM) and perfect FIFO queues between ...problems of interleav- ing in the test generation ... Voir le document complet

17

Analysis and Compilation of Parallel Programming Languages

Analysis and Compilation of Parallel Programming Languages

... level of flex- ibility in composing sequences of ...intermediate languages that make it difficult to compose and trace transformations ...scripting languages, intermediate ... Voir le document complet

151

Regional brain volumetry and brain function in severely brain-injured patients

Regional brain volumetry and brain function in severely brain-injured patients

... GM and WM ...those of Rubeaux and colleagues, 28 who observed a slower atrophy of the thalamus in MCS patients than in UWS ...tenance of brain volume is also associated with a better ... Voir le document complet

12

Rhythmic generation of trees and languages

Rhythmic generation of trees and languages

... set of children of every ...trees and to consider that the root of a tree is also a child of itself that is, bears a loop onto ... Voir le document complet

22

Reduplication in languages: A case study of languages of China

Reduplication in languages: A case study of languages of China

... piece of evidence sup- porting Chan ’s remark can be added: if a word does not contain a rounded vowel at the initial stage, the reconstructions in Old Chinese show that they often contained a labial velar which ... Voir le document complet

22

A Timed LOTOS Supporting a Dense Time Domain and Including New Timed Operators

A Timed LOTOS Supporting a Dense Time Domain and Including New Timed Operators

... pass and i must occur immediately, which is needed to get the maximal progress ...form of action-prefix with ...no timed arc may leave a state where an internal action ap- ...termination of a ... Voir le document complet

17

A Nonparametric model for Brain Tumor Segmentation and Volumetry in Longitudinal MR Sequences

A Nonparametric model for Brain Tumor Segmentation and Volumetry in Longitudinal MR Sequences

... Diagnostic and Interventional Radiology, University of Heidelberg, Germany 6 Institute for Advanced Study, TU M¨ unchen, Munich, Germany ...segmentation and brain tumor growth as- sessment are ... Voir le document complet

9

Neutral stability, drift, and the diversification of languages

Neutral stability, drift, and the diversification of languages

... diversification of languages is one of the most interesting facts about language that seek explanation from an evolutionary point of ...accounts of language diversification is that it ... Voir le document complet

18

Breadth-First Serialisation of Trees and Rational Languages

Breadth-First Serialisation of Trees and Rational Languages

... labels of the outgoings transitions of every states by the smallest possible (in J0, kK) without modifying their relative ...p of A has three outgoings transitions labelled by a, c and d; then ... Voir le document complet

16

Regular languages and partial commutations

Regular languages and partial commutations

... problems of this area. The first problem is well-known and has a very precise ...notion of robust class. By a robust class, we mean a class of regular languages closed under some ... Voir le document complet

33

Product of Group Languages

Product of Group Languages

... 0 and 1, the operation V → V ∗ G is the bridge between Straubing’s hierarchy and our ...hierarchy and Brzozowski’s hierarchy (LI denotes the first level of Brzozowski’s ...powermonoids ... Voir le document complet

12

Show all 10000 documents...