• Aucun résultat trouvé

language constructs and features

A Direct Formal Semantics for BPMN Time-Related Constructs

A Direct Formal Semantics for BPMN Time-Related Constructs

... cesses, and generate and animate counter ...time-related features of BPMN, in- cluding the use of the ISO-8601 standard, and show how we can support the Process Time ...author and only ...

13

Programming language features, usage patterns, and the efficiency of generated adjoint code

Programming language features, usage patterns, and the efficiency of generated adjoint code

... direction, and ad- justing loop control edges as shown in ...structures and the efficiency they ...time and replay this sequence in reverse, switching on the recorded block identifier to decide on ...

21

Project-Team RMoD (Analyses and Language Constructs for Object-Oriented Application Evolution) 2017 Activity Report

Project-Team RMoD (Analyses and Language Constructs for Object-Oriented Application Evolution) 2017 Activity Report

... machine and (2) an application authorized to manipulate data cannot pass such authorization or information to other parts of the application that should not get access to ...graph, and unsound because the ...

33

Merging Segmental And Rhythmic Features For Automatic Language Identification

Merging Segmental And Rhythmic Features For Automatic Language Identification

... Automatic Language Identification (ALI) systems has arisen in several fields of application, and especially in Computer-Assisted Commu- nication ...Service) and Multilingual Man- Computer Interfaces ...

5

Learned features versus engineered features for multimedia indexing

Learned features versus engineered features for multimedia indexing

... with features produced by DCNNs), Razavian et ...ImageNet and some of which are quite different both in terms of visual contents and in terms of target ...semantic features can be successfully ...

20

Architectural constructs for time-critical networking in the smart city

Architectural constructs for time-critical networking in the smart city

... audio and visual ...– and to enable first responders to enter an emergency scene with up-to-date situa- tional ...other and with the remote operations center. Nearby cameras and sensors may ...

211

ELECTRE Methods: Main Features and Recent Developments

ELECTRE Methods: Main Features and Recent Developments

... Possible and the Necessary Approach: Electre GKM S method The inference based approaches to Electre methods presented in sub-section ...Mousseau, and S lowi´ nski 2009; Greco, Kadzi´ nski, Mousseau, ...

38

Stroke Fragmentation based on Geometry Features and HMM

Stroke Fragmentation based on Geometry Features and HMM

... long and flat segment when sketching an arc, the probability of recognizing it as a line is far more bigger than that of an ...bigger, and results it to be recognized as ...strokes and some failed ...

7

Vagueness and Natural Language Semantics

Vagueness and Natural Language Semantics

... developed and taken to be at the core of what it means to be a vague expression ...dimension and to an incremental structure associated with this dimension, and it puts an additional constraint on ...

35

Identification of photoluminescence features of an epoxy resin based on components features and curing effects

Identification of photoluminescence features of an epoxy resin based on components features and curing effects

... 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] ...

29

Language contact, borrowing and codeswitching

Language contact, borrowing and codeswitching

... In the Kabyle corpus, it is noteworthy that the verb ṛuħ ‘leave’, which is bor- rowed from the Arabic imperfective paradigm *i-ṛūħ, is largely used by monolin- gual speakers and has the same paradigm as any Berber ...

28

Algebras and Synchronous Language Semantics

Algebras and Synchronous Language Semantics

... rules and considers a Boolean algebra to represent signal ...ronment and derivative are solutions of fixpoint equations resulting from signal coherence law application and instantaneous information ...

108

Carrying across Language and Code

Carrying across Language and Code

... fiction and used in “Whom the Telling Changed” specifically, is difficult to maintain in ...Вы and singular ты: the first is too formal and official and the second is too informal and ...

10

Randomness and Geometric Features in Computer Vision

Randomness and Geometric Features in Computer Vision

... Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE` S NANCY Unite´ de recherche INRIA Rennes, Ir[r] ...

55

Automotive features : mass impact and deployment characterization

Automotive features : mass impact and deployment characterization

... of features with charts of take rate data and applied regressions is provided in Appendices C - ...engines and VVT. The analy- sis proposes a logistic function and discusses both the steepness ...

111

Ludics and Natural Language: First Approaches

Ludics and Natural Language: First Approaches

... dynamic and determine the shape of the ...speaker, and also its acknowledgment by the ...dialogue, and in particular of past interventions that ...

21

Coronavirus infections: Epidemiological, clinical and immunological features and hypotheses

Coronavirus infections: Epidemiological, clinical and immunological features and hypotheses

... SPREAD AND THE ROLE OF SYMPTOMATIC CASES Despite seven years since first discovery, MERS-CoV trans- mission dynamics remain largely undefined and the roles of transmission, direct or indirect contact, ...

11

Learned features versus engineered features for semantic video indexing

Learned features versus engineered features for semantic video indexing

... quality and resolution of the videos are quite low (512 and 64 kbit/s for the image and audio streams ...training and test ...selected and checked for each target concept resulting in a ...

7

Peano's Logical Language and Grassmann's Legacy

Peano's Logical Language and Grassmann's Legacy

... 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] ...

9

On the financial balance of input–output constructs: revisiting an axiomatic evaluation

On the financial balance of input–output constructs: revisiting an axiomatic evaluation

... of constructs: models that generate symmetric system descriptions from asymmetric SUT ...Other constructs remove products from SUT descriptions, leading to systems where industries depend di- rectly on ...

13

Show all 10000 documents...

Sujets connexes