[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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
Sujets connexes