• Aucun résultat trouvé

[PDF] Top 20 Compiling Pattern Matching in Join-Patterns

Has 10000 "Compiling Pattern Matching in Join-Patterns" found on our website. Below are the top 20 most common "Compiling Pattern Matching in Join-Patterns".

Compiling Pattern Matching in Join-Patterns

Compiling Pattern Matching in Join-Patterns

... Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex France Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois -[r] ... Voir le document complet

33

Logol: Expressive Pattern Matching in sequences. Application to Ribosomal Frameshift Modeling

Logol: Expressive Pattern Matching in sequences. Application to Ribosomal Frameshift Modeling

... query in a precomputed database or with the algorithm ...sequences, in response to the increasing needs of structure exploration in the complex RNA world boosted by the recent importance of non ... Voir le document complet

14

Online Timed Pattern Matching using Automata

Online Timed Pattern Matching using Automata

... the patterns, for example the expression p ∩ (true · hqi [a,∞] · true) considers only q-bursts that last for at least a ...timed pattern matching has been introduced and solved in [27]: find ... Voir le document complet

18

Structural pattern matching of non-ribosomal peptides

Structural pattern matching of non-ribosomal peptides

... * Corresponding author Abstract Background: Nonribosomal peptides (NRPs), bioactive secondary metabolites produced by many microorganisms, show a broad range of important biological activities (e.g. antibiotics, ... Voir le document complet

10

Extracting Basic Graph Patterns from Triple Pattern Fragment Logs

Extracting Basic Graph Patterns from Triple Pattern Fragment Logs

... triple pattern of each query to decide the join ordering (TPF servers send cardinalities of concerned triples in their ...triple pattern and then decides to begin with the first triple ... Voir le document complet

17

Optimizing pattern matching compilation by program transformation

Optimizing pattern matching compilation by program transformation

... of pattern matching from the optimization, in order to improve modularity and make exten- sions ...simpler. In a first step, the patterns are compiled using a simple, but safe ...adds ... Voir le document complet

20

Pattern Matching in discrete Models for Ecosystem Ecology

Pattern Matching in discrete Models for Ecosystem Ecology

... presented in Ex- amples 1 and 2. patterns and models are all originated from various works performed by ecologists, in particular master students who have modeled contrasted ...ecosystems in ... Voir le document complet

12

Compiling High Performance Recursive Filters

Compiling High Performance Recursive Filters

... dependence pattern as the original non-tiled pipeline. This results in a compact internal graph of ...common patterns across the different operations and use heuristics to ensure memory coalescing, ... Voir le document complet

11

Real-Time Matching of Antescofo Temporal Patterns

Real-Time Matching of Antescofo Temporal Patterns

... problem in a real- time ...properties. In [4], a technique is proposed to translate a correctness property ϕ into a monitor used to check the current execution of a ...expressed in timed linear time ... Voir le document complet

17

A Reflexive and Automated Approach to Syntactic Pattern Matching in Code Transformations

A Reflexive and Automated Approach to Syntactic Pattern Matching in Code Transformations

... for pattern matching. Pattern languages with metavariables (that is variables holding abstract syntax subtrees once the pattern has been matched) have been used to help programmers define ... Voir le document complet

12

Permutation pattern matching

Permutation pattern matching

... sequences. In particular for the DNA sequence, its transmission is ...result in the modication of the sequence: some parts can be added, removed or ...present in a DNA sequence is a ...logic ... Voir le document complet

108

Complexity issues in Vertex-Colored Graph Pattern Matching

Complexity issues in Vertex-Colored Graph Pattern Matching

... motifs in graphs has become a crucial problem in the analysis of biological networks ...occurring in the network) are the classical view [22, 23, 30–32] and computationally reduce to graph ... Voir le document complet

34

Progressive sequential pattern mining: steerable visual exploration of patterns with PPMT

Progressive sequential pattern mining: steerable visual exploration of patterns with PPMT

... progressive pattern mining algorithm, we chose to start from the GSP [29] algorithm, available in the SPMF library ...(many pattern mining algorithms were actually designed as its variations) and it ... Voir le document complet

10

Improving time-series rule matching performance for detecting energy consumption patterns

Improving time-series rule matching performance for detecting energy consumption patterns

... There are lot of avenues for future work. We primarily focused on the con- straint brought by using a sliding window when taking into account the duration of the occurrences in time series rule matching. ... Voir le document complet

13

Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems

Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems

... used in different orders ...used in different types of ...weakness in random number generation of one of the possible operating systems, the particular type of a TLS session would indeed have an ... Voir le document complet

54

A Second-order pattern matching algorithm for the cube of typed lambda-calculi

A Second-order pattern matching algorithm for the cube of typed lambda-calculi

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

33

Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems

Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems

... a pattern in an accurate and complete form of formula with a graphical ...diagram in LePUS is a graph whose nodes correspond to variables and whose arcs are labeled with binary ...security ... Voir le document complet

53

Compiling and Verifying Security Protocols

Compiling and Verifying Security Protocols

... Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, [r] ... Voir le document complet

29

Processing continuous join queries in qtructured P2P systems

Processing continuous join queries in qtructured P2P systems

... queries in the system by continuous ...stored in the Finger table of nodes for random gossip ...to join results. Thus, a significant savings in terms of network traffic is ...stored in ... Voir le document complet

119

Determining articulator configuration in voiced stop consonants by matching time-domain patterns in pitch periods

Determining articulator configuration in voiced stop consonants by matching time-domain patterns in pitch periods

... J xƒ8XZYLHbRkEx>WTXZxMdxd‰ | XZG XZagxR JNTXZ[\^tEaJNRpJNTM~i#RkGhWEJNMPY’D9cdHbMd[cPM¥XZ[O !Y JNHbucdHˆX8a | [\JNMdabagHbfkMd[cPM vX8F: i“D | v£’XJ ¤p| ‘q JNTM’UMPWXZY JNGhMd[\J]RZ^ [r] ... Voir le document complet

104

Show all 10000 documents...