Difference between revisions of "Skills"
From LRDE
(Created page with " This page quickly presents the skills and research projects of the LRDE. For more detailed information, please go to the [[Projects.WebHome...") |
|||
| (22 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
| ⚫ | |||
| − | |||
| ⚫ | |||
| − | |||
| − | = Skills = |
||
| − | |||
The activities of LRDE cover two main areas of research: |
The activities of LRDE cover two main areas of research: |
||
| − | * Image and pattern recognition and |
+ | * '''« Image processing and pattern recognition »''' and |
| − | * Automata and |
+ | * '''« Automata and applications »''' |
| ⚫ | |||
| − | |||
| − | |||
| ⚫ | |||
Each main area, or theme, is divided into two fields. |
Each main area, or theme, is divided into two fields. |
||
| + | __NOTOC__ |
||
| − | == Theme 1: |
+ | == <span style="color:#000080">'''Theme 1: Image processing and pattern recognition'''</span> == |
| − | === |
+ | === '''Image processing''' === |
| − | Image processing at LRDE consists mainly of writing morphological algorithms. The principal fields of application are document image analysis and medical image processing. The state of the art of these elements as well as all the results of the Image-team |
+ | Image processing at LRDE consists mainly of writing morphological algorithms. The principal fields of application are document image analysis and medical image processing. The state of the art of these elements as well as all the results of the Image-team's research have been integrated in [[Olena]], a high performance generic image processing library. |
| + | == <span style="color:#000080">'''Theme 2: Automata and applications''' </span> == |
||
| + | The [[AA|Automata and applications]] group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the [[Spot]] library for manipulation of ω-automata and other software. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving. |
||
| − | === ? Speaker ID and signal processing ? === |
||
| − | In the field of speaker recognition, the LRDE works on issues related to channel effects, the variability of the speaker and, more generally, to mismatch conditions between training and test speech utterances. The Speaker ID-team proposes low-dimensional representations of speaker identities. |
||
| ⚫ | |||
| − | |||
| − | |||
| − | == Theme 2: ? Automata and verification ? == |
||
| − | |||
| − | === ? Multiple finite-state machines ? === |
||
| − | LRDE?s Automata-team develops Vaucanson, a platform for the manipulation of multiple finite-state machines in order to provide genericity, efficiency, respect of the theory and multipurpose tools. |
||
| − | |||
| − | === ? Formal verification ? === |
||
| − | The second aspect of the team?s research concerns automata on infinite words (ω-words) used for formal verification or model checking. The Spot library has been designed for this. |
||
| − | |||
| − | |||
| − | |||
| ⚫ | |||
A common underlying problem of all the projects LRDE members work on is how to reconcile two aspects usually contradictory: performance and genericity. |
A common underlying problem of all the projects LRDE members work on is how to reconcile two aspects usually contradictory: performance and genericity. |
||
| − | |||
| − | |||
| − | |||
| − | |||
| − | = <nop>ResearchProjects = |
||
| − | |||
| − | You will find a more thorough presentation of the different [[Projects.WebHome|projects]] by clicking each project name. |
||
| − | |||
| − | == [[Olena.WebHome|Olena]] == |
||
| − | |||
| − | %INCLUDE{"Olena.Olena" pattern="^.*?(<!-- OLNINTROSTART -->.*?<!-- OLNINTROSTOP -->).*"}% |
||
| − | |||
| − | * Software design |
||
| − | ** Generic programming |
||
| − | ** Design patterns |
||
| − | * Image processing |
||
| − | |||
| − | == [[Vaucanson.WebHome|Vaucanson]] == |
||
| − | |||
| − | %INCLUDE{"Vaucanson.Vaucanson" pattern="^.*?(<!-- VAUCINTROSTART -->.*?<!-- VAUCINTROSTOP -->).*"}% |
||
| − | |||
| − | * Software design |
||
| − | ** Generic programming |
||
| − | ** Design patterns |
||
| − | * Automata theory |
||
| − | |||
| − | |||
| − | == [[Spot.WebHome|Spot: a Model Checking library]] == |
||
| − | |||
| − | %INCLUDE{"Spot.WebHome" pattern="^.*?(<!-- SPOTINTROSTART -->.*?<!-- SPOTINTROSTOP -->).*"}% |
||
| − | |||
| − | |||
| − | * Automata theory |
||
| − | * Model Checking |
||
| − | |||
| − | |||
| − | == [[Transformers.Transformers|Transformers]] == |
||
| − | |||
| − | %INCLUDE{"Transformers.Transformers" pattern="^.*?(<!-- TRANSINTROSTART -->.*?<!-- TRANSINTROSTOP -->).*"}% |
||
| − | |||
| − | * Compilation |
||
| − | * Program transformation |
||
Latest revision as of 14:52, 17 September 2022
This page quickly presents the areas of expertise of the LRDE. For more detailed information, please go to the projects page.
The activities of LRDE cover two main areas of research:
- « Image processing and pattern recognition » and
- « Automata and applications »
with a transverse research axis « Performance and genericity ».
Each main area, or theme, is divided into two fields.
Theme 1: Image processing and pattern recognition
Image processing
Image processing at LRDE consists mainly of writing morphological algorithms. The principal fields of application are document image analysis and medical image processing. The state of the art of these elements as well as all the results of the Image-team's research have been integrated in Olena, a high performance generic image processing library.
Theme 2: Automata and applications
The Automata and applications group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the Spot library for manipulation of ω-automata and other software. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving.
Transverse research axis
A common underlying problem of all the projects LRDE members work on is how to reconcile two aspects usually contradictory: performance and genericity.