Search
Machine Learning for Visual Annotation in Social-media – MLVIS
The objective of the proposal is the conception of new machine learning tools for automating information access tasks in the context of large social media including Flickr and YouTube. Social media, as major sources of information, represent a substantial progress from the traditional vision of inf
Categorical and Logical Methods in Model Transformation – CLIMT
There are many different methods which contribute to improving software quality. They range from requirement techniques, architecture design, specification languages and programming languages to testing and program verification techniques. Such methods are often specific to a programming paradig
New Techniques in Online Computation – NeTOC
Online computation is an established and very active field in Theoretical Computer Science. It deals with the design and analysis of algorithms that operate in a setting in which the algorithm receives the input piece by piece, and has nevertheless to perform a (costly) action upon the receipt of e
Distributed Computing : computability and complexity – DISPLEXITY
The main purpose is to de fine the basis for the complexity and the computability of distributed computing. The main question addressed is : is the absence of globally coherent computational complexity theories covering more than fragments of distributed computing inherent to the field? One i
High-Performance Computer Algebra – HPAC
The overall ambition of the project HPAC is to provide international reference high-performance libraries for exact linear algebra and algebraic systems on multi-processor architecture and to influence parallel programming approaches for algebraic computing. This project gathers researchers wo
Evaluation of the sensorimotor learning in gesture-sound interactive systems – LEGOS
The considerable expansion of gesture interfaces in human-machine interfaces, from mobile computing systems to video games, constantly brings novel technological systems and usages where the user actions are central. In fact, gesture control in interactive sound systems has considerably grown over t
Dynamic Resources and Separation and Update Logics – DynRes
What society expects from computer systems is simply that they work correctly and that they warrant quality, since an error can have devastating effects. In order to deal with the complexity and the heterogeneity of these systems there is a need for formal frameworks that integrate, in a global
Realizability for classical logic, concurrency, references and rewriting – RECRE
The goal of this project is to get a better understanding of the proofs-as-programs correspondence for classical logic using the recent advances of the theory of classical realizability. Currently, this correspondence is very well developed and understood in the case of pure functional programmi
Digital Geometry and Applied Mathematics for Snow Metamorphism – DigitalSnow
The origin of the project comes from discussion between computer scientists and researchers from CEN - MétéoFrance working on the analysis of snow. During a snowfall, the snow crystals accumulate on the ground and gradually form a complex porous medium constituted of air, water vapour, ice and som
Models and algorithms for recommendation and preference management in product configuration – BR4CP (Business Recommendation for Confi
The ambition of the project is to provide models and algorithms allowing the management of the customer's preferences and directing her choices (as recommender systems do), and able to deal with combinatorial domains in an interactive way (as configuration systems do). The control of the system resp
Typeful certified XML: : integrating language, logic, and data-oriented best practices. – TYPEX
All the three partners of this proposal work at developing formal techniques to smoothly define, statically analyze, efficiently implement and optimize, transformations of documents in XML format. To reach its objectives each partner uses a different approach (in which they have a world renowned
Analysis of Light Transport operators and Applications – ALTA
A major goal of Computer Graphics algorithms is to create images of virtual scenes that are as close as possible to what the scenes would look like in reality. This is called photorealistic rendering, and is commonly used in virtual prototyping, e.g., in the automotive industry or in architecture.
Networked Warehouse Management Systems 2: packing with complex shapes – Net-WMS-2
Existing Warehouse Management Systems (WMS) provide advanced features to manage the movement of items within the warehouse, but fail to comply with the increasing demand on more numerical handling, in particular for achieving a flexible supply chain model capable of handling personalised orders in a
Data Mining and natural language processing cross-fertilization – Hybride
Hybride is a fundamental research project which aims at developing new methods and tools for supporting knowledge discovery from textual data with an important application on rare diseases. Accordingly, the key idea of Hybride is to combine both research activities for building an interacting proce
Taming Hard Reachability Problems for Counter Systems – REACHARD
The decision algorithm for reachability in VASS has never been implemented. This is due to its complexity, both conceptual (the algorithm is very difficult to understand and describe) and calculation (assuming that the complexity of the algorithm is not primitive recursive). In fact, we can say that
Entropy and quantity of information in models of computational systems – EQINOCS
•to obtain important theoretical contributions concerning entropy of (generalized) dynamical systems associated to trees, transducers, games, cellular and timed automata. •to study information processes in computational systems. It is a commonplace that computational systems process and transmit in
Probabilistic methods for efficient geometric structures and algorithms – PRESAGE
The french communities of computational geometry and stochastic geometry have several common interest but interact very little. The Présage project aims at overcoming this by bringing these communities together to work on three research topics: - Probabilistic study of geometric structures - Pro