Search
Coordination and Computation in distributed intelligent MEMS – CO²Dim
The objective of CO2Dim raises different scientific challenges. The first concerns the proposition of an extensible distributed programming model that can handle millions of distributed nodes. This challenge was solved with a software environment whose language, compiler and virtual machine can hand
Recognition of hIstorical Chinese mAnuscripts – GuWenShiBie
Large-scale digitization projects produce every year a great number of scanned images of documents from cultural heritage. The objective of these projects is to make cultural heritage accessible online worldwide. These historical documents must be transcribed into an editable text in order to allow
Semantic Web Data Interlinking in cross-lingual Environment – Lindicle
As the Web becomes ever more enmeshed with our daily lives, there is a growing desire for direct access to knowledge distributed on the Web. Linked Data enables the extension of the Web with a global data/knowledge space based on open standards - the Web of Data. The project of DBpedia provides a se
beyond plain Processes: Analysis techniques, Coinduction and Expressiveness – PACE
The goal of the PACE project is to develop important concepts from concurrency theory, in order to adapt them to broader forms of interactive models, well beyond the realm of «traditional/standard« processes. More specifically, we target features such as higher-order and probabilistic computation,