-
Large deviation properties for patterns
Presentation at LSD&LAW 2012. To appear in JDA. -
Tying up the loose ends in fully LZW-compressed pattern matching
International audience -
A type system for embedded rewriting programming
In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a... -
Constraint-Based Type Inference for Guarded Algebraic Data Types
Guarded algebraic data types subsume the concepts known in the literature as indexed types, guarded recursive datatype constructors, and first-class phantom types, and... -
Compiling Pattern Matching in Join-Patterns
We propose an extension of the join-calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the... -
A new optimization method of the geometric distance in an automatic recogniti...
International audience -
A Branch and Bound Approach to Correspondence and Grouping Problems
International audience -
Cross-Document Pattern Matching
International audience -
Graph based System Purpose - Built for Automatic Retrieval and Extraction of ...
International audience -
Search and detection of the attacks patter in high speed IP networks
With their important role in the networks protection, the Intrusion Detection Systems (IDS) must be able to adapt their functional modes to the new technologies. The... -
A Framework for Defining Logical Frameworks
In this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known... -
REM (Reduce Elan Machine): Core of the New ELAN Compiler
Colloque avec actes et comité de lecture. internationale. -
A Pattern Matching Compiler for Multiple Target Languages
Rapport interne. -
Filtrage Efficace Pour la Détection d'Intrusions
Colloque sans acte à diffusion restreinte. nationale. -
A Pattern Matching Compiler for Multiple Target Languages
Colloque avec actes et comité de lecture. internationale.
