Difference between revisions of "Skills"
From LRDE
| Line 1: | Line 1: | ||
| − | |||
This page quickly presents the areas of expertise of the LRDE. For more detailed information, please go to the [[Projects|projects]] page. |
This page quickly presents the areas of expertise of the LRDE. For more detailed information, please go to the [[Projects|projects]] page. |
||
| − | |||
| − | |||
The activities of LRDE cover two main areas of research: |
The activities of LRDE cover two main areas of research: |
||
* '''« Image processing and pattern recognition »''' and |
* '''« Image processing and pattern recognition »''' and |
||
| − | * '''« Automata and |
+ | * '''« Automata and applications »''' |
with a transverse research axis '''« Performance and genericity »'''. |
with a transverse research axis '''« Performance and genericity »'''. |
||
| Line 24: | Line 21: | ||
The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the [[Spot]] library for manipulations of ω-automata. Other research concerns itself with timed automata, weighted automata, and automata for concurrency. |
The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the [[Spot]] library for manipulations of ω-automata. Other research concerns itself with timed automata, weighted automata, and automata for concurrency. |
||
| + | |||
== <span style="color:#000080">'''Transverse research axis''' </span> == |
== <span style="color:#000080">'''Transverse research axis''' </span> == |
||
Revision as of 10:07, 29 July 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 group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the Spot library for manipulations of ω-automata. Other research concerns itself with timed automata, weighted automata, and automata for concurrency.
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.