Search for a funded project
Automated Verification of Sotware Systems – AVERISS
software verification, taking into account complex features of software systems written in modern and widely [...] languages (e.g., C, Java, etc). Among these features there are : data manipulation, procedure calls
Automatic annotation and Visual concept Extraction for Image Retrieval – AVEIR
concept recognition from visual features. It relies on two key issues: "feature detection and rich image r [...] axis is focused on image analysis, feature extraction and visual feature representations. Most annotation [...] (sometimes complex) comparisons based on low image features. Retrieval by text is limited, due to its weak
Distributed Open and Timed Systems – DOTS
deal with systems which present several of these features. The DOTS project associates researchers specialized [...] problems that emerge when considering several features simultaneously. We plan to significantly advance
Drosophila as a model system for haematopoiesis and leukaemia – DrosoBlood
challenge. Recent evidence has shown that several features of haematopoietic development are conserved from
Economics of formal and informal care for an ageing population – EconCare
supply of assistance for elderly. Third, the main feature of informal care that children, families or relatives
Espaces de modules de représentations de groupes de surfaces : espaces de Teichmüller généralisés et géométrie – RepSurfaces
Teichmüller spaces have some highly different features from M(S,G) when G is compact. It is non compact
Incremental refinement of event-based systems – RIMEL
of event-based models and aims to develop new features related to the refinement, such as the re-usability
Key Concepts in the Age of Crossing Boundaries :the Question of Leisure in Culture, Arts and Aesthetics – Leisure Concept
in Western and Eastern cultures and their new features under the impact of globalization in the contemporary
Molecular mechanisms of signaling in fatty acid synthesis of Gram-positive bacteria – ReguLipids+
great impact in the understanding of the molecular features of the signal and how DesK integrates it to trigger
NAVigation In DOcument MASSes – Navidomass
characterizing each class of information with relevant features, allowing performing information spotting in a [...] graphic (drawing spotting), ... Structuration of the feature space in order to build efficient information retrieval [...] techniques allowing to build relevant clusters in the feature spaces, and to develop rapid access system to the