Search
Information Extraction and Interpretation for multi-scale Remotely Sensed Imagery – XIMRI
Remote sensing is a key technology for the observation of the Earth. The interpretation of remote sensing images is a challenging task. In the past decades, the resolutions of remote sensing images increased drastically. From MODIS (200m), LANDSAT (30m) to QuickBird (0.6m) and GeoEye (0.5m), the s
Augmented Mobile Interactive Experience: Application to Maintenance Services – AMIE
The AMIE project opens a vast new research agenda for mobile Augmented Reality (AR) by making it interactive: Instead of only focusing on superimposing graphics on the real world, we aim at making the real world interactive by defining contextual reusable widgets attached to real objects and places.
QUAlity of ServIce for wireless sensor network and Mobile Objects – parameter aDaptatiOn – QUASIMODO
In this project, we focus on developing on-line algorithms and protocols in and above WSN for supporting real-time QoS. One of the application scenarios is the intrusion detection and tracking, which implies real-time event detection, multi mobile target tracking and multi-robots collaboration throu
Parallel Program Development with Algorithmic Skeletons – PAPDAS
With the current generalization of parallel architectures and increasing requirement of parallel computation arises the concern of applying formal methods, which allow specifications of parallel and distributed programs to be precisely stated and the conformance of an implementation to be verified u
Algorithms for modeling the visual system: From natural vision to numerical applications. – KEOpS
While the behavior of the ganglion cells of the retina seems well-understood during the presentation of artificial stimuli (a model with a spatial and temporal filter followed by a non-linear function is relevant presentation), when the retina is studied in the condition if natural image sequence, i
VAUCANSON 2 : A Finite-State Machine Computation Platform – VAUCANSON 2
This proposal on one hand consists in the realisation of a software platform devoted to the computation of, and with, finite automata, and, on the other hand, is the follow-up (the number 2 after the name VAUCANSON) of a project of the same kind, that has been conducted by the same partner
Extended Block-Oriented Nonlinear System Identification – EBONSI
System identification is about the theory and the practice for building mathematical models of dynamic systems from experimental data. This topic is common in many areas of sciences and technologies, though the term of “system identification” is usually used in the field of automatic control, where
Structural and computational proof theory – structural
This project is a consortium of four partners, two French and two Austrian, all being internationally recognized for their work on structural proof theory, but each coming from a different tradition. One of the objective of the project is build a bridge between these traditions and develop new proof