de recherche Icobj Programming (2008)
Apport De Recherche, Frédéric Boussinot, Frédéric Boussinot, Projet Meije
A simple and fully graphical programming method is presented, using a powerful means to combine behaviors. This programming is based on the notion of an iicobjj whichhasabehavioral aspect (iobjectj...
Theme 2 | Genie logiciel et calcul symbolique (2008)
Apport De Recherche, Paul Zimmermann, Alain Denise, Alain Denise, Paul Zimmermann Y, Projet Eureca
The recursive method formalized by Nijenhuis and Wilf #15# and systematized by Flajolet, Van Cutsem and Zimmermann #8#, is extended here to #oating-point arithmetic. The resulting ADZ method enables...
Thème 4 — Simulation et optimisation de systèmes complexes (2007)
Apport De Recherche, Bernard Espiau, Bernard Espiau, Ronan Boulic, Ronan Boulic, Projet Bip
The control of the center of mass of a robot is a relevant problem in case of biped walking machines. Besides, studying the motion and the stabilization of the center of mass of a human is an...
Thème 3 — Interaction homme-machine, (2007)
Apport De Recherche, Jos Stam, Jos Stam, Projet Syntim
This paper addresses the problem of realistically simulating the motion of tree-branches subjected to turbulence. Since the resulting motion is random in nature, we model it as a stochastic process....
images, données, connaissances (2007)
Apport De Recherche, Radu Horaud, Radu Horaud, Gabriella Csurka, Gabriella Csurka, David Demirdjian, ...
This paper describes a method to upgrade projective reconstruction to a#ne and to metric reconstructions using rigid general or planar motions of a stereo rig. We make clear the algebraic...
Dog Bites Postman: Point Location in the Moving Voronoi Diagram and Related Problems (2007)
Apport De Recherche, Olivier Devillers Et, Olivier Devillers Et, Mordecai Golin, Mordecai Golin, Programme Robotique, ...
In this paper, we discuss twovariations of the two-dimensional posto #ce problem that arise when the post-o#ces are n postmen moving with constant velocities. The #rst variation addresses the...
predicates on circle arcs (2007)
Apport De Recherche, Olivier Devillers Alex, Olivier Devillers, Ra Fronville, Bernard Mourrain, Monique Teillaud, ...
The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparison of the abscissae...
Theme 3 | Interaction homme-machine, images, donnees, connaissances (2007)
Apport De Recherche, Marc Gelgon, Marc Gelgon, Patrick Bouthemy, Patrick Bouthemy, Projet Temis
This paper deals with the problem of motion-basedsegmentation of image sequences. Such partitions are multiple-purpose in dynamic scene analysis. We #rst extract a texture-basedpartition using an...
Apport De Recherche, Sarah Mallet, Sarah Mallet, Mireille Ducassé, Mireille Ducassé, Thème Génie Logiciel, ...
Deductive databases manage large quantities of data and, in general, in a set-oriented way. The existing systems of explanation for deductive databases do not take these constraints into account. We...
Programme 1 | Architectures paralleles, bases de donnees, reseaux et systemes distribues (2007)
Apport De Recherche, Benoît Caillaud, René Thoraval, Cyrille Bareau, Cyrille Bareau, Claude Jard, ...
In this paper, we present a concurrency measure that is especially adapted to distributed programs that exhibit regular run-time behaviours. Such programs are frequently obtained by automatic...
Vues abstraites d'exécutions Prolog avec Opium (2007)
Apport De Recherche, Mireille Ducassé Irisa/insa, Mireille Ducassé Irisa/insa, Thème Génie Logiciel, Projet Lande
Views of Prolog Executions in Opium Mireille Ducasse, IRISA/INSA N 3531 Octobre 1998 TH EME 2 Abstract Views of Prolog Executions in Opium Mireille Ducass#, IRISA#INSA Th#me 2 # G#nie logiciel et...
de recherche Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events (2007)
Apport De Recherche, Mireille Ducassé Irisa/insa, Mireille Ducassé Irisa/insa, Thème Génie Logiciel, Projet Lande
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events related to language constructs. Events have semantics whereas source lines used by most debuggers do...
de recherche A Modal Lambda Calculus with Iteration and Case Constructs (2007)
Apport De Recherche, Pierre Leleu, Pierre Leleu, Thème Génie Logiciel, Projet Croap
An extension of the simply-typed #-calculus allowing iteration and case reasoning over terms de#ned by means of higher order abstract syntax has recently been introduced by Jo#lle Despeyroux, Frank...
de recherche Experiments in Program Compilation by Interpreter Specialization (2007)
Apport De Recherche, Gilles Muller, Julia Lawall, Scott Thibault, Scott Thibault, Laurent Bercot, ...
Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
Apport De Recherche, Mihail N. Vrahatis, Ioannis Z. Emiris, Ioannis Z. Emiris, Bernard Mourrain, Bernard Mourrain, ...
In this report, we implement the concept of topological degree to isolate and compute all zeros of systems of nonlinear algebraic equations when the only computable information required is the...
Theme 4 | Simulation et optimisation de systemes complexes (2007)
Apport De Recherche, Boumediène Chentouf, Jean-françois Couchouron, Projet Conge, Boumediene Chentouf, Boumediene Chentouf, ...
This paper deals with nonlinear feedback stabilization problem of a #exible beam clamped at a rigid body and free at the other end. We assume that there is no damping. The feedbacklaw proposed here...
Apport De Recherche, Projet Idopt
Two approximations of the Hessian matrix as limited-memory operators are built from the limited-memoryBFGS inverse Hessian approximationprovided by the minimization code, in view of the speci#cation...
Using Virtual Interfaces (2007)
Apport De Recherche, Xavier Pueyo, Thèmes Et, Luc Renambot, Luc Renambot, Bruno Arnaldi, ...
This paper presents the performance evaluation of a new technique for radiosity computation which aims at exploiting e#ciently the di#erent levels of a memory hierarchyof both sequential and parallel...
Apport De Recherche, Ranan Fraer, Ranan Fraer, Thème Génie Logiciel, Projet Croap
The typical program veri#cation system is a batch tool that accepts as input a program annotated with Floyd-Hoare assertions, performs syntactic and semantic analysis on it, and generates a list of...
Theme 4 | Simulation et optimisation (2007)
Apport De Recherche, Guy Chavent, François Clément, Susana Gómez, Guy Chavent Y, Francois Clement Y, ...
A reformulation of the classical least-squares waveform inversion problem is proposed to retrieve the background velocity from surface seismic re#ection data. To eliminate the problem of local...
de recherche Visibility Masks for Solving Complex Radiosity Computations on Multiprocessors (2007)
Apport De Recherche, Xavier Pueyo, Thèmes Et, Bruno Arnaldi, Bruno Arnaldi, Thierry Priol, ...
In this paper, we present a modi#ed version of the virtual wall concept weintroduced in a previously published paper. The goal of our work is to design a strategy to handle very complex scenes #more...
de recherche Window Flow Control in FIFO Networks with Cross Traffic (2007)
Apport De Recherche, Thomas Bonald, François Baccelli, François Baccelli, Thomas Bonald Y, ...
We focus on window flow control as used in packet-switched communication networks. The approach consists in studying the stability of a system where each node on the path followed by the packets of...
Issn 0249-6399 Isrn Inria/rr--4849--Fr+eng (2007)
Apport De Recherche, Guillaume Artus, Guillaume Artus, Pascal Morin, Pascal Morin, Claude Samson, ...
A control strategy for tracking an omnidirectional target with a unicycle-like robot is proposed. An originality of the approach is that the target is allowed to move freely in the plane and perform...
de recherche Optimal Line Bipartitions of Point Sets (2007)
Apport De Recherche, Olivier Devillers, Olivier Devillers, Matthew J. Katz, Matthew J. Katz, Thème Génie Logiciel, ...
Let S be a set of n points in the plane. We study the following problem: Partition S by a line into two subsets S a and S b such that maxff#S a #;f#S b #g is minimal, where f is any monotone function...
de recherche Finding the Collineation Between two Projective (2007)
Apport De Recherche, Gabriella Csurka, Gabriella Csurka, Radu Horaud, Radu Horaud, Projet Movi
The problem of #nding the collineation between two 3-D projective reconstructions has been proved to be useful for a variety of tasks such as calibration of a stereo rig and 3-D a#ne and#or Euclidean...
de recherche Automatic Alignment of Histological Sections for 3D Reconstruction and Analysis (2007)
Apport De Recherche, Christophe Sattonnet, Sébastien Ourselin, Sébastien Ourselin, Alexis Roche, Alexis Roche, ...
In this report, we present a new method of aligning histological sections. First a displacement #eld between the two images is computed by block matching. Then we estimate a rigid transformation...
images, donnes, connaissances (2007)
Apport De Recherche, Mikal Rousson, Mikal Rousson, Rachid Deriche, Rachid Deriche, Projet Odyssee
During the last few years, many eorts have been done in integrating dierent informations in a variational framework to segment images. Recent works on curve propagation were able to incorporate...
Performance Analysis of Finite Load Sources in 802.11b (2007)
Apport De Recherche, Gion Reto, Cantieni Qiang, Ni Chadi, Barakat Thierry Turletti, Multirate Environments, ...
Automatic rate adaptation in CSMA wireless networks may cause drastic throughput degradation for high speed bit rate stations (STAs). The CSMA/CA medium access method guarantees equal long-term...
Polyrigid transformations. (2007)
Apport De Recherche, Vincent Arsigny, Vincent Arsigny, Xavier Pennec, Xavier Pennec, Nicholas Ayache, ...
We present in this report a novel kind of geometrical transformations, which we have named polyrigid. Within their framework, it is possible to dene local rigid deformations in a given number of...
Apport De Recherche, Herv Brnnimann, Olivier Devillers, Unit Inria, Sophia Antipolis
We provide a lower bound construction showing that the union of unit balls in R has quadratic complexity, even if they all contain the origin. This settles a conjecture of Sharir.
images, données, connaissances (2007)
Apport De Recherche, Xavier Pennec, Xavier Pennec, Projet Epidaure
The question we investigate in this article is: what is the mean value of a set of geometric features and how can we compute it? We use as a guiding example one of the most studied type of features...
Apport De Recherche, Olivier Devillers Et, Olivier Devillers Et, Mordecai Golin, Mordecai Golin, Programme Robotique, ...
The existing O#n log n# algorithms for #nding the convex hulls of circles and the lower envelope of parabolas follow the divide-and-conquer paradigm. The di#culty with developing incremental...
Enhancing IEEE 802.11 MAC in congested environments (2005)
Apport De Recherche, Imad Aad, Imad Aad, Qiang Ni, Qiang Ni, Chadi Barakat, ...
IEEE 802.11 is the most deployed wireless local area networking standard nowadays. It uses carrier sense multiple access with collision avoidance (CSMA/CA) to resolve contention between nodes....
Improving TCP/IP over geostationary satellite links (1999)
Apport De Recherche, Nesrine Chaher, Nesrine Chaher, Chadi Barakat, Chadi Barakat, Walid Dabbous, ...
We focus in this paper on the undesirable phenomenon of frequent losses during slow-start when TCP operates in large bandwidth-delay product networks such as those including geostationary satellite...
Geodesic Active Regions for Texture Segmentation (1998)
Apport De Recherche, Nikos Paragios, Nikos Paragios, Rachid Deriche, Rachid Deriche, Projet Robotvis
This paper proposes a framework for segmenting di#erent textured areas over synthetic or real textured frames by curves propagation. We assume that the system has the ability to be taughtover...
Distributed reactive machines (1998)
Apport De Recherche, Laurent Hazard, Frédéric Boussinot, Frédéric Boussinot, Jean-ferdy Susini, Jean-ferdy Susini, ...
One considers systems made of synchronizers to which distributed reactive machines are connected. The corresponding model is described with its implementation in Java, using SugarCubes and the RMI...
MichaelFuchs,ChristopheDiot,ThierryTurlettiandMarkusHofmann (1998)
Apport De Recherche, Michael Fuchs, Christophe Diot, Thierry Turletti, Markus Hofmann, Réseauxetsystèmes February, ...
This document presents the Reliable Multicast Framing Protocol (RMFP). RMFP is an ALF-based framework for protocols that can be integrated as protocol proles. In this report two proles are described:...
Apport De Recherche, François Baccelli, Rajendran Rajan, Rajeev Agrawal, Rajeev Agrawal, François Baccelli Y, ...
We introduce a queueing network model that allows us to capture the time-varying service delivered to a tra#c stream due to the presence of random perturbations #e.g. cross-tra#c in a communication...
A circuit-based approach for routing in unidirectional links networks (1997)
Apport De Recherche, Thierry Ernst, Walid Dabbous, Réseauxetsystèmes October, Unité Inria, Sophia Antipolis
Current routing protocols assume that routers are connected by bidirectional links. However, in an increasing number of congurations, pairs of routers may only be connected by unidirectional links....
Distributing automata for asynchronous networks of processors (1997)
Apport De Recherche, Benoît Caillaud, Paul Caspi, Paul Caspi, Alain Girault, Alain Girault, ...
This paper addresses the problem of distributed program synthesis. In the #rst part, we formalize the distribution process and prove its correctness, i.e. that the initial centralized program's...
Apport De Recherche, Jacques Lévy Véhel, Rudolf H. Riedi
We study the fractal behavior of the high frequency part of the Fourier spectrum of fractional Brownian motion (fBm) using multifractal analysis and show that it is not consistent with what is...
The SL Synchronous Language (1996)
Apport De Recherche, Frédéric Boussinot, Calcul Symbolique, Frederic Boussinot, Robert De Simone, Robert De Simone, ...
We present a new synchronous programming language named SL based on in whichhypothesis about signal presences or absences are not allowed. Thus, one can decide that a signal was absent during one...
Salto: System for assembly-language transformation and optimization (1996)
Apport De Recherche, François Bodin, André Seznec, François Charot, Frédéric Raimbault, Erven Rohou, ...
On critical applications, particularly embedded systems, the performance tuning requires multiple passes. Salto #System for Assembly Language Transformation and Optimization# is a retargetable...
Two Semantics for a Language of Reactive Objects (1995)
Apport De Recherche, Frédéric Boussinot, Calcul Symbolique, Frederic Boussinot, Cosimo Laneve, Cosimo Laneve, ...
We are studying semantics of a small object-based language, with the following main characteristics: parallelism, dynamicity, high order parameters, notion of a global instant, and reactivity. We...
Validation of 3-d registration methods based on points and frames (1995)
Apport De Recherche, Xavier Pennec, Xavier Pennec, Programme Robotique, Projet Epidaure
In this paper, we propose a new method to estimate a rigid transform from a set of 3-D matched points or matched frames, and we concentrate on the analysis of the uncertainty of the estimated...
Convex tours of bounded curvature (1994)
Apport De Recherche, Jean-daniel Boissonnat, Jean-daniel Boissonnat, Jurek Czyzowicz, Jurek Czyzowicz, Olivier Devillers, ...
We consider the motion planning problem for a point constrained to move along a smooth closed convex path of bounded curvature. The workspace of the moving point is bounded by a convex polygon with m...
Revenge of the dog: Queries on Voronoi diagrams of moving points (1994)
Apport De Recherche, Olivier Devillers, Olivier Devillers, Mordecai Golin, Mordecai Golin, Klara Kedem, ...
Suppose we are given n moving postmen described by their motion equations p i #t#=s i + v i t; i =1;:::;n, where s i 2 IR is the position of the i'th postman at time t = 0, and v i 2 IR is his...