Improved Polynomial Detectors for Side-Informed (2009)
Jonathan Delhumeaua, Teddy Furona, Guenole Silvestreb Airisa/inria, Campus De Beaulieu
In spread-spectrum watermarking, the watermarked document is obtained from the addition of an attenuated watermark signal to a cover multimedia document. A traditional strategy consists of optimising...
Interactive Exploration of Decision Tree Results (2008)
Campus De Beaulieu, F Rennes Cedex, Inria Futurs, Khang N. Pham, Nghi T. Do
Abstract. Our investigation aims at interactively exploring the decision tree results obtained by the machine-learning algorithms like C4.5. We propose an interactive graphical environment using the...
Andrzej M. Borzyszkowski, Campus De Beaulieu, F Rennes Cedex, Luca Bernardinello, Carlo Ferrigato
Andrzej Ehrenfeucht and Grzegorz Rozenberg introduced in the early ’90’s the notion of (partial) 2-structures – an abstract form of directed graphs with labelled edges – and studied the...
EWFQ: Enhanced Weighted Fair Queuing Scheme ensuring accurateinter-packets spacing (2008)
Mudassir Tufail, Bernard Cousinirisa, Campus De Beaulieu
1 Introduction There is a variety of distributed applications (e.g. audio and video conferencing, multimedia information retrieval, ftp, telnet,WWW, etc.) with a wide range of Quality of Service...
Thomas Genet, Triem Tong, Campus De Beaulieu, Cedex F
Abstract. This paper presents the verication of a cryptographic protocol of SmartRight, a copy protection system designed by Thomson. The property of the protocol is that the digital content can be...
Olivier Cormier, Campus De Beaulieu, Michael F. Singer, Felix Ulmer
maths.univ-rennes1.fr In this paper we show how to compute the Galois group G of a polynomial f 2 Q(x)[Y] by factoring the associated linear differential equation Lf (Y) = 0 (and constructions of it)...
Campus De Beaulieu, Joachim Hertzberg, Informatik Viii, William Shoaff, Moti Schneider
Building planning systems that operate in real domains requires coping with both uncertainty and time pressure. This paper describes a model of reaction plans, which are generated using a...
Thomas Genet, Triem Tong, Campus De Beaulieu, Cedex F
This paper presents the veri cation of a cryptographic protocol of SmartRight, a copy protection system designed by Thomson. The property of the protocol is that the digital content can be viewed...
Exponential estimates for spatially homogeneous Landau equations via the Malliavin calculus (2007)
Paris Cnrs (umr, H. Guérin, S. Méléard, E. Nualart, H. Guérin Irmar, ...
The aim of this paper is to show how a probabilistic approach and the use of Malliavin calculus provide exponential estimates for the solution of a spatially homogeneous Landau equation, for a...
On term rewriting systems having a rational derivation (2004)
Antoine Meyer, Campus De Beaulieu
Abstract. Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down systems, which...
Audio Quality Assessment in Packet Networks: an . . . (2001)
Samir Mohamed, Campus De Beaulieu, Rennes France
Transmitting digital audio signals in real time over packet switched networks (e.g., the Internet) has set forth the need for developing signal processing algorithms that objectively evaluate audio...
A semantics of UML state-machines using synchronous pre-order transition systems (2000)
Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic, Inria Irisa, Campus De Beaulieu, ...
The synchronous model of concurrency has demonstrated its practicality for the design of circuits, embedded systems, reactive and distributed systems. This model allows to design systems around an...
ViSP: A Software Environment for Eye-in-Hand Visual Servoing (1999)
Éric Marchand, Irisa Inria Rennes, Campus De Beaulieu
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform"). Visual...
David Nowak, Jean-pierre Talpin, Paul Le Guernic, Inria-rennes Irisa, Campus De Beaulieu
Abstract. Synchronous languages have been designed to ease the development of reactive systems, by providing a methodological framework for assisting system designers from the early stages of...
A synchronous semantics of higher-order processes for modeling recon reactive systems (1998)
Jean-pierre Talpin, David Nowak, Campus De Beaulieu
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation of complex systems...
Pascal Fradet And, Pascal Fradet, Daniel Le M'etayer, Campus De Beaulieu
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a list is doubly-linked...
Pascal Fradet, Daniel Le M'etayer, Campus De Beaulieu
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a list is doubly-linked...
Computing the Galois Group of a Polynomial Using Linear Differential Equations
Olivier Cormier, Campus De Beaulieu, Michael F. Singer, Felix Ulmer, ...
In this paper we show how to compute the Galois group G of a polynomial f 2 Q(x)[Y ] by factoring the associated linear differential equation Lf (Y ) = 0 (and constructions of it) of minimal order...