Search

National audience; Interactive paper technologies offer new opportunities for supporting the highly individual practices of creative artists, such as contemporary music composers, who express and explore their ideas on both paper and the computer. We introduce PaperComposer, a graphical interface builder that allows users to create a personalized interactive paper interface that they can connect to their own computer-based musical data. We also present an API that facilitates the development of interactive paper components for PaperComposer. We describe one public demonstration of a novel musical interface designed for children and our collaborations with composers to create two novel interactive music interfaces that reflected their individual composition styles.

International audience; This short paper compares two approaches of the state of the art, to implement Ambient Assisted Living (AAL) systems. By com- paring the two approaches, we aim to show that combining them could lead to an improvement of the offered response of the system. It shows that it could be interesting to develop a proof-of-concept system from a combination of these approaches, as it would improve the state of the art in AAL systems.

National audience; Les salles de classes sont de plus en plus équipées de dispositifs informatiques qui permettent aux enseignants de diffuser des ressources multimédia pendant les cours. Nous avons donc d'une part des enseignants encouragés à diffuser des ressources numériques et d'autre part des élèves qui continuent principalement à prendre des notes sur des cahiers papier traditionnels. Cet article présente un prototype de logiciel de prise de notes augmentée (appelé U-Note) qui s'appuie sur la technologie des sty-los numérique Anoto pour tenter de concilier ces deux types de supports.

In this paper, we propose a method for coarse camera pose computation which is robust to viewing conditions and does not require a detailed model of the scene. This method meets the growing need of easy deployment of robotics or augmented reality applications in any environments, especially those for which no accurate 3D model nor huge amount of ground truth data are available. It exploits the ability of deep learning techniques to reliably detect objects regardless of viewing conditions. Previous works have also shown that abstracting the geometry of a scene of objects by an ellipsoid cloud allows to compute the camera pose accurately enough for various application needs. Though promising, these approaches use the ellipses fitted to the detection bounding boxes as an approximation of the imaged objects. In this paper, we go one step further and propose a learning-based method which detects improved elliptic approximations of objects which are coherent with the 3D ellipsoid in terms of perspective projection. Experiments prove that the accuracy of the computed pose significantly increases thanks to our method and is more robust to the variability of the boundaries of the detection boxes. This is achieved with very little effort in terms of training data acquisition -- a few hundred calibrated images of which only three need manual object annotation. Code and models are released at https://github.com/zinsmatt/3D-Aware-Ellipses-for-Visual-Localization., Comment: Presented at 3DV 2020. Code and models released at https://github.com/zinsmatt/3D-Aware-Ellipses-for-Visual-Localization

Full understanding of this paper requires expertise in computer science, software engineering and algorithmics.; The CAP (Consistency, Availability, Partition tolerance) also known as Brewer's theorem, states that it is impossible, on a distributed computer system, to guarantee at the same time the three qualities mentioned above. This issue affects all existing distributed engines and systems, which forces the administrators of these engines and systems to favor two qualities to the detriment of a third, when possible, despite the consequences. This paper technically and formally describes an inventive algorithm to locally weaken the said theorem when reading the data. This process combines three elements: a real-time system of key-value pairs distributed in memory cloud; a multi-planar index with concurrency avoidance; a distributed consolidated reading method called "LC4" based on a hysterical retroactive probabilistic effect. This inventive algorithm was implemented and tested successfully, jointly with a second invention playing the role of an application delivery controller (“A heuristic algorithm imitating social behaviours for intelligent routing of application flows” ⟨hal-02471814⟩ https://hal.archives-ouvertes.fr/hal-02471814). Full understanding of this paper requires expertise in computer science, software engineering and algorithmics.

International audience; In the absence of a music score, tempo can only be defined by its perception by users. Thus recent studies have focused on the estimation of perceptual tempo defined by listening experiments. So far, algorithms have only been proposed to estimate the tempo when people agree on it. In this paper, we study the case when people disagree on the perception of tempo and propose an algorithm to predict this disagreement. For this, we hypothesize that the perception of tempo is correlated to a set of variations of various viewpoints on the audio content: energy, harmony, spectral-balance variations and short-term-similarity-rate. We suppose that when those variations are coherent, a shared perception of tempo is favoured and when they are not, people may perceive different tempi. We then propose several statistical models to predict the agreement or disagreement in the perception of tempo from these audio features. Finally, we evaluate the models using a test-set resulting from the perceptual experiment performed at Last-FM in 2011.

International audience; In this paper, we deal with a frequency modulated continuous wave (FMCW) radar used for localizing and tracking targets by frequency evaluation of the received radar beat signal. We consider the transponder as target and we achieve an identification application through frequency identification thanks to the shift frequency induced by the active target. The localization performance of FMCW radars based on radio-identification in the range (SHF) are presented and studied. Simulations and measurements complete the paper.; Dans cet article, nous traitons d'un système radar à onde continue à modulation de fréquence (FMCW) utilisé pour localiser et suivre des cibles par l'évaluation de la fréquence du signal de battement radar reçu. Nous considérons un transpondeur linéaire comme cible et nous réalisons une identification de cible grâce à la fréquence de décalage induite par cette cible active. Les performances de localisation des radars FMCW basés sur la radio-identification dans la gamme (SHF) sont présentées et étudiées. Des simulations et des mesures viennent compléter le papier.

TEC - Travaux en Cours; International audience; Multi-display environments (MDE) are becoming more and more common in public areas. They are mainly used to display information due to the limited interaction possibilities they offer. In this paper, we study how using everyday objects, available on or around users, could improve interaction with public multi-display environments. To this end, we conducted a study, in the form of a creativity session, to understand how participants would use everyday objects, to realize the most usual tasks in public MDEs. The results of this study are presented and discussed in this paper.; Les environnements multi-écrans (EME) se multiplient dans les lieux publics. Les possibilités d’interaction qu’ils offrent étant limitées, ils sont principalement utilisés pour afficher de l’information. Dans cet article, nous étudions comment les objets du quotidien, disponibles sur ou autour des utilisateurs, pourraient porter l’interaction avec les environnements multi-écrans publics. Cette approche fait émerger des solutions pour des interactions rapides, opportunistes et naturelles, ce qui répond aux besoins liés à ce type d’environnements (publics et peu sécurisés). Nous avons réalisé une séance de créativité à laquelle ont participé 8 personnes. Le but de cette séance était d’étudier la manière avec laquelle les participants exploiteraient différentes catégories d'objets du quotidien pour réaliser plusieurs tâches d’interaction avec des EME.

International audience; This paper introduces the Halphen distribution family for modeling travel time distributions and their reliability on single road links. This probability family originally used in hydrology has a set of relevant characteristics. It is composed of three probability distribution functions for which the mathematical properties are described here. The paper uses a graphical representation, the δ-Moment Ratio Diagram (δ-MRD). This tool allows characterizing travel time reliability as well as selecting best distribution candidates within the fitting processes, by considering empirical data sets. A systematic methodology is developed to take advantage of both aspects. From maximum log-likelihood estimation it is shown that Halphen distributions are amongst the best state-of-the-art solutions for the travel time modeling purpose. This global framework is validated using two empirical data sets: an urban data set gathered in Portland, Oregon (USA) and a periurban data set from Lyon (France). The model calibration is eased through the use of the δ-MRD; this property opens new research directions about the mapping between traffic states and statistical modeling. It comes out from all these considerations that the Halphen family is suitable to describe accurately the travel time dynamics on single links. Therefore it could be part of a decision support system for practitioners interested in travel time variability.

Given the evolution of wireless technologies, Wireless Mesh Networks (WMN) have appeared as an emerging low-cost solution to ensure last-mile connectivity to the Internet network. However, providing real-time and streaming applications, such as VoIP (Voice over IP) and VoD (Video on Demand), with a satisfying QoS level is considered as an important challenge within these networks. In this paper, we propose a QoS based routing protocol, called Hybrid QoS Mesh Routing (HQMR), jointly with a clustering algorithm to improve the scalability of mesh networks. HQMR is composed of two routing sub- protocols: a reactive QoS based routing protocol for intra-mesh infrastructure communications and a proactive QoS based multi- tree routing protocol for communications with external networks. We analyze in this paper the simulation results of different scenarios conducted on the network simulator ns-3 to demonstrate the effectiveness of the reactive routing sub-protocol while forwarding real-time applications with a QoS guarantee.

National audience; Research contributions to improve interactive systems reliability as, for now, mainly focused towards fault occurrence prevention by removing software bugs at development time. However, Interactive Systems complexity is so high that whatever efforts are deployed at development time, faults and failures occur at operation time. Root causes of such failures may be due to transient hardware faults or (when systems are used in high atmosphere) may be so called "natural faults" triggered by alpha particles in processors or neutrons from cosmic radiations. This paper proposes an exhaustive identification of faults to be handled in order to improve interactive systems reliability. As currently no research has been carried out in the field of interactive systems to detect and remove natural faults, this paper proposes a software architecture providing fault-tolerant mechanisms dedicated to interactive systems. More precisely, the paper how such architecture addresses the various component of interactive applications namely widgets, user application and window manager. These concepts are demonstrated through a case study from the domain of interactive cockpits of large civil aircrafts. \; La recherche pour améliorer la fiabilité des systèmes interactifs s’est, pour l’instant, principalement dirigée vers la prévention d’introduction de fautes par la suppression des bugs lors du développement. Cependant, la complexité des systèmes interactifs est telle que, quels que soient ces efforts, des défaillances apparaissent lors de leur utilisation. Les causes de telles défaillances peuvent être dues à des pannes matérielles intermittentes ou (quand ces systèmes sont utilisés en haute altitude (avions, véhicules spatiaux …) être déclenchées par des fautes naturelles dues aux particules alpha dans les processeurs ou aux neutrons issus des radiations cosmiques. Cet article propose l’identification exhaustive des problématiques se posant pour améliorer la fiabilité des systèmes interactifs en prenant en compte à la fois les erreurs faites dans les phases de développement et les fautes qui peuvent se produire lors de leur utilisation. Du fait qu’aucune recherche n’a été menée à ce jour pour détecter et éliminer les fautes naturelles, l’article propose aussi une architecture logicielle pour intégrer des mécanismes de tolérance aux fautes dans les systèmes interactifs. L’article présente en particulier comment cette architecture couvre les différents composants d’un système interactif incluant les widgets, le gestionnaire de fenêtres et l’application interactive. Ces concepts sont mis en œuvre sur une application interactive de cockpits d’avions civils.

PurposeThe purpose of this paper is to focus on the challenge of designing an interface for a virtual class, where being represented together contributes to the learning process. It explores the possibility of virtual empathy.Design/methodology/approachThe challenges are: How can this feeling of empathy be recreated through a delicate staging of location and interactions? How can the feeling of togetherness be organized in a 3D environment without creating a feeling of distraction? What are the tools of empathy in a mediated situation? The authors propose to use the concept of “contradictory semiotic analysis” to describe the design process that taps into visual cultures to build a representation and tools that support users' empathetic interactions. The analysis of designers' work from a semiotic point of view shows that they do not necessarily paint after life but play with different media and representations to build “remediated” situations of use.FindingsThe paper introduces the concept of “control room” elaborated after Manovich's control panel, to describe the visual interface that supports a diversity of points of view, hence supporting mediated empathetic relationships.Originality/valueThe paper answers the design questions: how can the system of representation support the feeling of empathy amongst participants through a delicate staging of space, people and of interactions within this space? How can a participant get, first, a feeling of togetherness and, second, a feeling of empathy with other participants? The design methodology is explained based on a “contradictory semiotic analysis” made of the comparison with similar platforms and with other modalities of empathy in different media. Second, the design proposition is described. Third, the design challenges that this type of production entails are discussed and the difficulties faced during the design process are analyzed.

International audience; Create an electronic dictionary from scratch is an expensive job because this task mobilizes over a long period, the work of skilled contributors, if not in lexicology, at least in linguistics. The use of specialized computer tools is essential for resources used by programs in natural language processing. When the socio-economic environment does not gather the necessary resources to the drafting of an electronic dictionary and printed dictionaries exist, these dictionaries are an important resource that can be used to initialize the creation of electronic lexical resources. This paper presents theoretical and practical aspects concerning the conversion of publishing dictionaries to electronic lexical resources. It takes into account the issue of limited economic resources, technology and the availability of qualified persons. Our field experiments concerns under-resourced languages mainly in Southeast Asia (Khmer, Malay, Vietnamese) and the Sahel (Bambara, Hausa, Kanuri, Tamajaq, Zarma), as most of the examples and socio-linguistic situations described in the paper relate to these areas. After a brief history devoted to the formats of electronic dictionaries (SGML, XML, XSLT and CSS), we present two standards that are dedicated to them (Text Encoding Initiative and Lexical Markup Framework). The issue of under-resourced languages is exposed and is followed by some examples concerning published dictionaries. The main technical challenges are detailed like the lack of standardization of the alphabets used and special characters (outside the traditional latin range). The conversion methodology is outlined and then detailed. The conversion to a bridge format in XML can be done by regular expressions or using specialized tools. Then, the bridge format is converted into the target format in LMF. The last part is dedicated to the consultation of resources through an online platform resource management.

International audience; This paper presents some tests of adaptivity for the AS4DR (Adaptive Scheduling for Distributed Resources) scheduler. The objective of AS4DR is to maximize the CPU use efficiency when executing divisible load applications on heterogeneous distributed memory platforms. Furthermore, this scheduler can operate when the total workload is unknown and when the execution parameters (available communication speed, available computing speed, etc.) are unspecified or may vary through time.The paper analyzes results obtained when simulating AS4DR scheduling on platforms characterized by such type of execution parameters.

International audience; Several separate displays are used by Air Traffic Controllers, such as radar view, flight lists view or paper strips. In order to link the information between these views and keep focus on a subset of flights, controllers are required to do visual operations (eye gaze, analysis of visual properties etc.). This process can be disruptive when traffic increases and when visualizations display large amounts of objects. In this paper we propose the use of animated transitions to replace the visual paths controllers take. We discuss this technique and show results of a predictive evaluation that suggests an improvement in users' performance.

International audience; Initially designed in the nineteen seventies as a mere zapping tool, obviously the traditional device known as the TV remote control no longer responds to the multifarious needs of today's interactive television. Designing new remote-control devices is a challenge that the HCI community has started to face. The paper indicates the various directions that are currently being investigated by researchers. The paper starts with an attempt to characterize the specific context of interactive TV. We then offer a tentative account of the design and evaluation space of interest. There is little doubt that the traditional remote control may still be improved and augmented. It is unlikely, however, that it will survive for long the crisis it has been undergoing since the beginning of the digital era, given the emerging plethora of alternative interaction possibilities based on a variety of new interfacing logics, which the paper reviews.

International audience; This paper addresses the use of Global Navigation Satellite Systems (GNSS) as a remote sensing tool for oceanographic applications. In this paper we use the Global Positioning System (GPS) signals reflected off the sea surface along with a coastal receiver to perform detection and tracking of a near sea surface mobile target. Because these signals have a very low Signal to Noise Ratio (SNR) in a non stationary medium, a matched filter is required. A filter based on the Extended Kalman process is presented here.

International audience; In the next decades, the growth in population ageing will cause important problems to most industrialized countries. To tackle this issue, Ambient Assistive Living (AAL) systems can reinforce the well-being of elderly people, by providing emergency, autonomy enhancement, and comfort services. These services will postpone the need of a medicalized environment, and will allow the elderly to stay longer at home. However, each elderly has specific needs and a deployment environment of such services is likely unique. Furthermore, the needs evolve over time, and so does the deployment environment of the system. In this paper, we propose the use of a model-based development method, the adaptive medium approach, to enable dynamic adaptation of AAL systems. We also propose improvements to make it more suited to the AAL domain, such as considering heterogeneity and a composition model. The paper includes an evaluation of the prototype implementing the approach, and a comparison with related work.

Evaluating information retrieval implies a document collection on which search is carried out, a set of test queries and the lists of the relevant documents for each query. This evaluation framework also includes evaluation measures making it possible to control the impact of search parameters on the performance. Trec-eval calculates a large number of measures, some being used more widely, like the mean average precision or recall-precision curves. The aim of this paper is to choose the minimal set of measures necessary to compare different information retrieval systems. In this paper, we present the study we carried out on relationships between 27 measures among the most used in the literature. We show that a set of 7 measures is enough to represent 27 studied measures: ircl_prn.80, MAP, ircl_pr.20, recip_rank, P15, exact_precision, and exact_recall.

This paper presents a multi-agent approach dedicated to power management in buildings. This approach, defines a multi-layer control mechanism: reactive and anticipative mechanisms. In a first part, the paper presents the power system and its problems. Then, it presents the agents modeling of the proposed system, called MAHAS. In the second part of this paper, we show how a multi-agent system, well adapted to solve problems spatially distributed and opened, can dynamically adapt the consumption of energy to various constraints by exploiting the flexibilities of the services provided by domestic devices (services shifting, energy accumulating).

This paper presents our recent work on multimedia fingerprinting, also known as traitor tracing. We focus on deriving a better accusation process for the well known Tardos codes. It appears that Tardos orginal decoding is very conservative: its performances are guaranteed whatever the collusion strategy. Indeed, major improvements stem from the knowledge of the collusion strategy. Therefore, this paper investigates how it is possible to learn and adapt to the collusion strategy. Our solution is based on an iterative algorithm a la EM, where a better estimation of the collusion strategy yields a better tracing of the colluders, which in return yields a better estimation of the collusion strategy etc.

Conceptual model quality can be defined as a set of perceivable characteristics expressed with quantifiable parameters. The aim of the research described in this paper is to evaluate the quality of different conceptual model versions of the same universe of discourse by different Information Systems (IS) stakeholders. This paper describes: a) a set of quality factors (clarity, simplicity, expressiveness, minimality) applied to different versions of ER conceptual schemas, b) an approach enabling a comprehensive comparison of the conceptual schemas, c) an experimentation leading to the evaluation of the same schemas by IS stakeholders such as designers, end-users, and students, based on a sample of about 120 observations using different statistical methods. First results indicate that there exists a strong independence between the IS stakeholders and the quality factors used. A second result reveals a significant difference between groups of respondents in their ways to perceive conceptual schemas quality. Based on our experiment, we are able to identify quality factors relevant to different groups of stakeholders, depending on several dimensions, such as their professional experience, and/or their specialization degree.

International audience; This paper presents a design space based on a morphological analysis of menu techniques. The goal of this design space is to facilitate the exploration of novel menu designs, in particular to increase menu capacity without sacrificing performance. The paper demonstrates the generative aspect of this design space with four new menu designs based on poorly explored combinations of input dimensions. For two of these four designs, the paper presents controlled experiments that show that they perform on a par with other menus from the literature.; Cet article présente un espace de conception basé sur une analyse morphologique des mécanismes de structuration des menus et de sélection des items. Son but est de faciliter l'exploration de nouveaux types de menus afin notamment d'augmenter leur capacité sans détériorer leurs performances. L'article démontre l'aspect génératif de cet espace de conception grâce à quatre nouveaux designs de menus, basés sur des combinaisons de dimensions pas ou peu explorées. Pour deux d'entre eux, des expérimentations contrôlées montrent qu'ils offrent des performances comparables aux menus de la littérature.

The theoretical motion of a ball bearing has been studied in a previous paper. Using a control parameter, different routes to chaos were described. The aim of this paper is to study the experimental routes to chaos in a ball bearing and to confirm whether theoretical predictions of the phenomena are realistic. An experimental test bench has been used and a numerical procedure has been proposed for observing Poincare maps. As the control parameter varies the bearing clearly shows the appearance of instability in its motion. Two different routes to chaos are described as expected from the theory. The first route is related to the first resonant frequency of the bearing. It is a sub-harmonic route. The second route, associated with the second resonant frequency, is a quasi-periodic route.

4 pages, démonstrations; National audience; In this paper, we discuss a choice of props for a dedicated task: selecting a cutting line from a top map. We present GeoTUI, a tabletop and a Tangible User Interface intended to geosciences. Several props have been evaluated for both usability and task performance. We begin with an analysis of the advantages of addressing a specific domain in this kind of study.; Nous nous intéressons à la sélection d'une ligne de coupe dans un modèle 3D. Nous nous situons donc dans le pa-radigme des interfaces utilisateurs 3D (3DUI). Dans ce contexte, il est intéressant pour adresser un problème gé-néral d'expérimenter sur des applications métiers complexes porteuses de contraintes et d'exigences, ici les géosciences. Dans le cadre de l'interface proposée, table interactive et interface tangible, nous étudions les diffé-rentes métaphores d'interaction possibles et déterminons le meilleur interacteur pour la tâche ciblée. ABSTRACT In this paper, we discuss a choice of props for a dedicated task: selecting a cutting line from a top map. We present GeoTUI, a tabletop and a Tangible User Interface intended to geosciences. Several props have been evaluated for both usability and task performance. We begin with an analysis of the advantages of addressing a specific domain in this kind of study.

Recent advances in telecommunication and positioning systems, web and wireless architectures offer new perspectives and challenges to the management and visualization of mobile and geo-referenced objects. Amongst many research challenges still opened, the development of integrated sensorbased architectures necessary to the integration of mobile data has been often neglected. Real-time integration of sensor-based data, their management within a distributed system, and diffusion to different levels of services and interfaces to what should be considered as a collaborative web GIS constitutes the objective of the research presented in this paper. This paper introduces a modular and experimental web GIS framework applied to maritime navigation, and where mobile objects behave in a maritime environment. Different levels of services are developed, including a web-based wireless access and interface to a traffic monitoring application.

Metadata are crucial for the development of Geographic Information Systems (GIS). With the availability of geographic data sources over the Web, assessing the fitness for use concept may become a tricky task. In this paper, we describe a metadata-driven mediation approach and system that allow a community of users to share a set of autonomous, heterogeneous and distributed geographic data sources with different metadata (quality) information. Users share a common vision of the data, which is defined by means of a global schema and a metadata schema. The paper shows how metadata (I) may provide efficiency, (2) improve semantic interoperability and (3) ensure fitness for use.

This paper is focused on real banking marketing problem. It is based on association rules mining which is one main problem in knowledge discovery in databases (KDD). However, current methods is limited to extract some particular information and to restore it. Several works were proposed to solve it thanks to user-driven process. In this kind of approach, the whole KDD process is tackled and not only the mining step. KDD design integrates the user at the heart of the process by playing a role of evolutionary heuristic. This paper focuses on the role of the expert and explains his help within the process. We highlight in our works the HCI preponderant significance. Indeed, it merges tacit and explicit knowledge and good results are produced in our application.

National audience; In the last few years, many works have been done in order to ensure interoperability between applications. Enterprise applications integration and the opening of information systems towards integrated access have been the main motivation for the interest around systems interoperability. In this Paper, an MDA based approach for interoperability is proposed. The MDA is an approach for systems development, which increases the power of models in that work. It provides a means for using models for better understanding, designing, constructing, deploying, operating, maintaining and modifying systems. The three primary goals of MDA are portability, interoperability and reusability. In this paper we apply the MDA as a formal base that supports our approach for interoperability between different information systems

The purpose of this paper is to sketch a survey on how relations and structures are taken into account in various knowledge representation formalisms and tools: description logics, object-based knowledge representation systems, conceptual graphs, semantic web languages. We focus on the representation of relation properties, on the representation of relation-based inference rules, on the representation and classification of structures and composite objects. The paper ends with a discussion on the advantages of the various systems and a proposition of research issues and possible solutions.

cote interne IRCAM: Rioux01a; None / None; National audience; This paper presents two exploratory experiments aimed at establishing a lexicon suitable for the description of the sound quality of flue organ pipes. A lexicon of reference was established by an expert organ-builder commenting several voicing steps performed on a flue pipe. This lexicon was then extended, the purpose being primarily to enhance communication between and among organ builders, acousticians and musicians. In the first experiment a qualitative analysis was made of data collected from a listening test in which a number of specialists on organ performance, music theory, history and building took part. The 40 participants made ratings and gave comments to ten recordings of pipe sounds through the voicing process. By comparing an analysis of participants’ comments with a primary list of descriptors defined by an organ builder, an attempt is made to extend this primary list to a more standard lexicon. A temporary classification of these descriptors is proposed and is reviewed in a companion paper oriented towards a quantitative analysis of this type of data. In a second experiment, a dimensional analysis of data collected from a semantic differential test based upon the descriptors found in Experiment 1. From a quantitative analysis the initial "qualitative" categorisation is reviewed and enhanced. By inspecting the factor structure of the descriptors, groups of related descriptors were formed and suitable prototypes of each group were proposed. We then show how, from original data extracted from free comments, a detailed classification of descriptors can be made.

International audience; System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field

cote interne IRCAM: Fingerhut99a; None / None; National audience; This paper describes the transition of the IRCAM Music Library from a traditional setup to one tightly integrating digital technologies: online collections of self-describing multimedia objects, networked access and delivery on LANs and WANs, search tools and interfaces. The goal of this one-year project had been to bring together heterogeneous collections of documents (books, scores, periodicals, commercial and unpublished music recordings, videos...) allowing for their combined use by library patrons on- and off-site, with due consideration for the intellectual property rights of each individual document. The successful integration of these collections has increased public use of the library and influenced scholar writing of musical analyses and the production of musical educational tools. While part of its collections are on paper and will remain so due to technical and legal considerations, other collections are available only in digitized form, with computer search tools and networked delivery.

International audience; The increasing use of embedded software, often implemented on a core processor in a single-chip system, is a clear trend in the telecommunications, multimedia, and consumer electronics industries. A companion paper in this issue presents a survey of application and architecture trends for embedded systems in these growth markets. However, the lack of suitable design technology remains a significant obstacle in the development of such systems. One of the key requirements is more efficient software compilation technology. Especially in the case of fixed-point digital signal processor (DSP) cores, it is often cited that commercially available compilers are unable to take full advantage of the architectural features of the processor. Moreover, due to the shorter lifetimes and the architectural specialization of many processor cores, processor designers are often compelled to neglect the issue of compiler support. This situation has resulted in an increased research activity in the area of design tool support for embedded processors. This paper discusses design technology issues for embedded systems using processor cores, with a focus on software compilation tools. Architectural characteristics of contemporary processor cores are reviewed and tool requirements are formulated. This is followed by a comprehensive survey of both existing and new software compilation techniques that are considered important in the context of embedded processors.

This paper proposes an instrumental variable approach for continuous-time system identification using fractional models with multiple input single output context. This work is an extension of the simplified refined instrumental variable approach (srivcf ) developed for single input-single output fractional model identification (Malti et al. (2008a); Victor et al. (2013)) to the multiple input-single output case. Monte Carlo simulation analysis is used to demonstrate the performance of the proposed approach. A study is then provided to motivate differentiation order estimation, and more specifically, commensurate order estimation.

The precision and the range of currently used trajectography system is mainly noise-limited. Increasing system performance has to go through the use of matched filtering. As, aside ambient noise and multipath, the Doppler effect is the most important disturbance encountered in the case of trajectography, the signals used have thus to be Doppler tolerant ones and any processing scheme has to the into account this phenomena at every step. In this paper, we describe a new system using a special type of linear period modulated chirps well known for their performance in the case of constant speed. As there is no optimal solution, in the case of constant acceleration, the same signals, although sub-optimal, have been used and the performance loss remains acceptable. The paper describes sea experiment using this type of signals associated to real-time digital filters. The results obtained with the improved acoustical system are compared to the data issued from surface positioning systems (radar, optics, DGPS) associated to a short baseline and a ship positioning. The results of both trajectography are coherent within a range of few metres

Assessing the harmfulness of defects based on images is becoming more and more common in industry. Today these defects can be insert in digital twins that aim to replicated in a mechanical model what is observed on a component. We propose a methodology for defect classification and defect labeling in view of fast prediction of their harmfulness by using hyper-reduced order models. Mechanical models studied here are non parametric. This problematic issue is circumvent by introducing a classification of defect. Then, a local hyper-reduced order model is defined in each class of defect. The proposed methodology for the classification, consists in seeing each defect by its mechanical effects more than by its morphology. Each defect is encoded as a point on a Grassmann manifold. This data encoding uses a projection-based hyper-reduction. We restrict our attention to a mechanical modeling of elastic stresses around defects. We show that the hyper-reduced equations are similar to an oblique projection of the finite element prediction. Hence we obtain an upper bound of the approximation error for displacement that depends on a Chordal distance between points on a Grassmann manifold. From the available data set of defects, we have observed that the Grassmann distance is magnifying the Chordal distance between defects. A k-medoids algorithm is used in order to create clusters of defects from a matrix of Grassmann distance between defects. A simulation-based labeling of defect is proposed. This labeling procedure relies on hyper-reduction and a related error indicator. This error indicator measures the discrepancy between the stresses predicted via hyper-reduction and equilibrated stresses. In spite of the large variety of defects in the data set, we show accurate predictions of stresses for most of defects in the test set, while training the clustering and the hyper-reduced order model on a different training set. These accurate results are obtained by combining two contributions for a reduced basis for displacements : macroscopic modes related to a defect-free mechanical problem and elastic fluctuation modes specific to each class of defect. In this paper, we pay particular attention to the compromise to be made between the accuracy of the numerical approximations and the memory space required to save the reduced bases., L’évaluation de la nocivité des défauts à partir d’images est de plus en plus courante dans l’industrie. Aujourd’hui, ces défauts peuvent être insérés dans des jumeaux numériques qui visent à reproduire dans un modèle mécanique ce qui est observé sur un objet. Nous proposons une méthodologie pour la classification et l’étiquetage des défauts en vue de prédire rapidement leur nocivité en utilisant des modèles d’ordre hyperréduits. Les modèles mécaniques étudiés sont non paramétriques. Cette difficulté est contournée par l’introduction d’une classification des défauts. Ensuite, un modèle d’ordre hyperréduit local est défini dans chaque classe de défaut. La méthodologie proposée pour la classification, consiste à voir chaque défaut par ses effets mécaniques plus que par sa morphologie. Chaque défaut est encodé comme un point dans une variété de Grassmann. Ce codage des données utilise un modèle d’ordre réduit par projection. Nous nous limitons notre attention à une modélisation mécanique des contraintes élastiques autour des défauts. Nous montrons qu’une limite supérieure de l’erreur d’approximation pour le déplacement, dépend de la distance Chordal entre les points d’une variété de Grassmann, si une projection de Galerkin est effectuée pour la réduction du modèle. A partir de l’ensemble des données disponibles sur les défauts, nous avons observé que la distance de Grassmann amplifie la distance Chordal entre les défauts. Un algorithme de k-médoïdes est utilisé pour créer des groupes de défauts à partir d’une matrice de la distance de Grassmann entre les défauts. Un étiquetage des défauts basé sur la simulation est proposé. Cette procédure d’étiquetage repose sur l’hyper-réduction et un indicateur d’erreur associé. Cet indicateur d’erreur mesure l’écart entre les contraintes prédites par hyper-réduction et des contraintes équilibrées. Malgré la grande variété de défauts dans l’ensemble de données, nous montrons des prédictions précises des contraintes pour la plupart des défauts dans l’ensemble de test, tout en entraînant la classification et l’hyper-réduction sur un ensemble d’entraînement différent. Ces résultats précis sont obtenus en combinant deux contributions dans une base réduite pour les déplacements : des modes macroscopiques liés à un problème mécanique sans défaut et des modes de fluctuation élastique spécifiques à chaque classe de défaut. Dans cet article, nous accordons une attention particulière au compromis à faire entre la précision des approximations numériques et l’espace mémoire nécessaire pour enregistrer les bases réduites.

The placement of Virtual Network Function - Forwarding Graphs (VNF-FGs) is one of the basic operations in the networks of the future. Being NP-hard, several heuristics and metaheuristics have been proposed. However, these approaches are inefficient due to the need to recalculate the solution at each service placement. In this paper, we adapt one of the most advanced approaches in Deep Reinforcement Learning (DRL), in order to improve exploration by generalizing the neural network calculating action values. We also propose an evolutionary algorithm to evolve these neural networks in order to discover better ones, which also avoids getting stuck in local minima. In order to avoid going through the almost innumerable number of infeasible solutions, we propose a heuristic, which combined with our DRL, makes it possible to guarantee the feasibility of the solutions and therefore to make the placement much more efficient. The simulation results we obtained confirm the quality of the solutions obtained as well as the superiority of the proposed solution over the existing one.

In this paper, we develop a new method of identification of complex prepositions, in French. We include well-known semantic and morpho-syntactic tests, and introduce a few others – together, these tests make up a multi-variable grid which we believe can help identify complex prepositions. We run these tests on a list of 75 sequences, most of which are considered to be complex adpositions. We also include sequences which share the same patterns of word formation but do not have prepositional uses, in order to check the validity of our grid. Our results show that the semantic and morpho-syntactic clues used to identify complex adpositions, combined with corpus data exploration, are on the whole quite effective, but to varying degrees depending on the pattern of formation.

International audience; This paper aims at better understanding the transition from menus to shortcuts. We first discuss the limitations and the opportunities of the theoretical and empirical characterizations of this transition. We then consider keyboard shortcuts as a case study and manually annotate empirical data to estimate several behavioral markers such as the initial switch, the transition duration or the performance dip. These markers serve to precisely characterize and compare three interaction techniques. Finally, we compare two methods to automatically characterize the transition from menus to shortcuts.; Ce papier vise à mieux comprendre la transition des menus vers les raccourcis. Nous discutons d’abord les limitations et les opportuni- tés des caractérisations, théoriques et empiriques, de cette transition. Nous considérons ensuite les raccourcis claviers comme cas d’étude où nous annotons manuellement une collection de données pour estimer des marqueurs comportementaux comme le début de la transition, sa durée ou la chute de performance. Ceci permet de caractériser finement la transition de trois techniques d’interac- tion. Finalement, nous comparons deux méthodes pour caractériser automatiquement la transition des menus vers les raccourcis.

International audience; To execute a command, a user can make a selection in a menu using pointing actions, or, for example, use shortcuts such as gestures. To go faster, she can learn the positions to point or gestures to perform. In this paper, we present a study comparing learning of positions or directions to select commands. The results obtained reveal similar recall rates, with a slight advantage for positions. The qualitative results suggest an advantage of positions over directions for physical and mental demands. Finally, the study of memorization strategies developed by the subjects provides mnemonic methods that can be useful for designers and users.; Pour exécuter une commande, l’utilisateur peut effectuer une sélection dans un menu à l’aide d’actions de pointage, ou bien, par exemple, utiliser des raccourcis tels que des gestes. Pour aller plus vite, il peut apprendre les positions à pointer ou les gestes à exécuter. Nous présentons dans cet article une étude comparant l’apprentissage de positions et de directions pour sélectionner des commandes. Les résultats obtenus révèlent des taux de rappel sim- ilaires, avec un léger avantage pour les positions. Les résultats qualitatifs suggèrent un avantage des positions sur les gestes en ce qui concerne l’effort physique et cognitif. Finalement, l’étude des stratégies de mémorisation élaborées par les sujets fournit des méthodes mnémoniques pouvant être utiles aux designers et aux utilisateurs.

National audience; This paper introduces a new GUI framework based on the Entity- Component-System model (ECS), where interactive elements (Entities) can acquire any data (Components). Behaviors are managed by continuously running processes (Systems) which select entities by the components they possess. This model facilitates the handling and reuse of behaviors. It allows to define the interaction modalities of an application globally, by formulating them as a set of Systems. We present Polyphony, an experimental toolkit implementing this approach, detail our interpretation of the ECS model in the context of GUIs, and demonstrate its use with a sample application.; Cet article présente un nouveau cadre de conception d’IHM basé sur le modèle Entité-Composant-Système (ECS). Dans ce modèle, les éléments interactifs (Entités) acquièrent librement des données (Composants). Les comportements sont régis par des processus communs s’exécutant continuellement (Systèmes), qui sélection- nent les entités par les composants qu’elles possèdent. Ce modèle favorise la manipulation et la réutilisation des comportements. Il permet de définir globalement les modalités d’interaction d’une application, en les formulant par un ensemble de systèmes. Nous présentons Polyphony, une boîte à outils expérimentale implémen- tant cette approche, détaillons notre interprétation du modèle ECS en contexte IHM, et l’illustrons avec un exemple d’application.

International audience; Decreasing electricity consumption is a major challenge of our society. Eco-feedback methods allow users to get information about their electricity consumption to reduce it. However it is still difficult to determine what are the actions that impact the consumption in practice. In this paper we suggest to apply a What if approach to eco-feedback in a household context. We deploy the Activelec system in personal housings, which allows to apply virtual modifications in appliances usage and to evaluate the savings realized. The results of our experimentation show that participants appreciated the interaction method based on the What if. It allowed them to find and to evaluate efficient modifications in their appliances usage, and several have been applied in practice by the participants. This experimentation shows that the What if paradigm is a potential way for eco-feedback technologies.; Réduire la consommation d’électricité est un enjeu majeur de notre société. Les méthodes eco-feedback permettent aux utilisateurs d’obtenir un retour sur leur consommation d’électricité afin de la diminuer. Toutefois, il est toujours difficile de déterminer concrètement quelles actions impactent la consommation. Dans cet article, nous proposons d’appliquer une méthode What if à l’eco-feedback en contexte domestique. Nous déployons le système Activelec dans des logements personnels, qui permet d’appliquer des changements virtuels dans l’utilisation des appareils et d’évaluer les économies réalisées. Les résultats de notre expérimentation montrent que les participants ont apprécié la méthode d’interaction basée sur le What if. Celle-ci leur a permis de trouver et d’évaluer des modifications efficaces dans l’utilisation de leurs appareils, et certaines ont été appliquées en pratique par les participants. Cette expérimentation montre que le paradigme What if est une piste potentielle pour les technologies eco-feedback.

National audience; Collaborative Virtual Environments (CVEs) are systems that allow multiple participants located remotely to collaborate in a shared virtual space. In order to take advantage of the possibilities offered by such systems, their design must allow users to interact and communicate effectively. One of the open questions in this area concerns the fidelity of the remote partner’s avatar. This can indeed have a direct effect on communication between remote users, more particularly regarding spatial interactions. In this paper, we present a theoretical framework to analyze the fidelity of the remote partner’s avatar in CVE. We also present an ongoing study to compare the effects of two partner’s avatar types on spatial communication. This will permit extracting guidelines for designing CVEs including pointing and spatial guidance tasks.; Les environnements virtuels collaboratifs (EVC) permettent à plusieurs utilisateurs distants de collaborer dans un espace virtuel partagé. Pour tirer parti des possibilités offertes par les EVC, leur conception doit permettre aux utilisateurs d’interagir et de communiquer efficacement. Une des questions ouvertes dans ce domaine concerne la fidélité de l’avatar du partenaire distant. En effet, celle-ci peut avoir une influence directe sur la communication entres utilisateurs distants et plus particulièrement sur leurs interactions spatiales. Dans ce papier, nous présentons un cadre théorique pour analyser la fidélité de l’avatar du partenaire dans un EVC. Nous présentons également une étude expérimentale en cours pour étudier les effets de deux types d’avatars du partenaire sur la communication spatiale dans un EVC. Cette recherche permettra d’extraire des lignes directrices pour la conception des EVC supportant des tâches de pointage et de guidage spatial.

International audience; Belief propagation and variants are the usual decoding algorithms for low density parity check codes. In this paper, successive overrelaxations are applied to increase convergence speed of the decoding process. Performances are reported and improvements over reference algorithms are observed. This technique is also compatible with high speed parallel group decoding involved in modern standards like DVB-S2.

This paper investigates the automatic monitoring of tool usage during a surgery, with potential applications in report generation, surgical training and real-time decision support. Two surgeries are considered: cataract surgery, the most common surgical procedure, and cholecystectomy, one of the most common digestive surgeries. Tool usage is monitored in videos recorded either through a microscope (cataract surgery) or an endoscope (cholecystectomy). Following state-of-the-art video analysis solutions, each frame of the video is analyzed by convolutional neural networks (CNNs) whose outputs are fed to recurrent neural networks (RNNs) in order to take temporal relationships between events into account. Novelty lies in the way those CNNs and RNNs are trained. Computational complexity prevents the end-to-end training of "CNN+RNN" systems. Therefore, CNNs are usually trained first, independently from the RNNs. This approach is clearly suboptimal for surgical tool analysis: many tools are very similar to one another, but they can generally be differentiated based on past events. CNNs should be trained to extract the most useful visual features in combination with the temporal context. A novel boosting strategy is proposed to achieve this goal: the CNN and RNN parts of the system are simultaneously enriched by progressively adding weak classifiers (either CNNs or RNNs) trained to improve the overall classification accuracy. Experiments were performed in a dataset of 50 cataract surgery videos and a dataset of 80 cholecystectomy videos. Very good classification performance are achieved in both datasets: tool usage could be labeled with an average area under the ROC curve of $A_z = 0.9961$ and $A_z = 0.9939$, respectively, in offline mode (using past, present and future information), and $A_z = 0.9957$ and $A_z = 0.9936$, respectively, in online mode (using past and present information only)., Accepted for publication in Medical Image Analysis

International audience; This paper proposes a new construction of rate-adaptive coding schemes based on Low Density Parity Check (LDPC) codes for Slepian Wolf source coding. Unlike standard rate-adaptive source coding schemes, the code construction we propose is based on finite-length code design tools that permit to greatly improve the decoding performance at short to moderate length. In particular, our method permits to limit the number of short cycles in the codes at all rates of interest, and to avoid eliminating some source bits from the code constraints. The proposed method shows a performance improvement of up to an order of magnitude at almost all the considered rates compared to the standard LDPCA construction.

In this paper, we present a framework to evaluate the human correction of a speaker diarization. We propose four elementary actions to correct the diarization and an automaton to simulate the correction sequence. A metric is described to evaluate the correction cost. The framework is evaluated using French broadcast news drawn from the REPERE corpus., Dans cet article, nous présentons un simulateur dédié à l'évaluation des corrections humaines sur la tâche de Segmentation et Regroupement en Locuteurs (SRL). Nous proposons quatre actions élémentaires afin de corriger une SRL et un automate pour simuler la séquence de corrections. Une mesure est proposée pour évaluer le coût de correction. Le simulateur est évalué en utilisant des émissions françaises d'information tirées du corpus REPERE.

Les programmes d’enseignement ont fait l’objet d’une réécriture qui a été confiée au Conseil supérieur des programmes. À la suite des consultations effectuées et de l’avis de nombreux linguistes, les programmes publiés en 2015 simplifient la terminologie grammaticale, tout en conservant les distinctions opératoires pour l’orthographe, et introduisent la notion de prédicat. Cet article présente les raisons qui ont présidé aux choix opérés en matière de grammaire et expose les réactions démesurées et déraisonnables qu’a suscitées l’introduction du prédicat dans les programmes scolaires. En effet, à partir de janvier 2017, la presse écrite et audiovisuelle et les réseaux sociaux ont abondamment traité du prédicat. Les critiques ne se fondent ni sur la lecture des programmes, ni sur l’analyse des notions, mais elles s’en prennent au prédicat, accusé d’être responsable d’une détérioration à venir des apprentissages orthographiques et grammaticaux, voire d’être l’instrument de tentatives de dégradation de l’enseignement. The French syllabus for primary and first grade of secondary school has been redefined recently by the Conseil supérieur des programmes. Since this council consulted with many specialists in linguistics, they decided to simplify the grammatical terminology, while maintaining the categories useful as far as spelling is concerned, and introduced the notion of predicate. This paper explains the reasons leading to such decisions and highlights the unreasonable overreactions raised by the introduction of the predicate. Thus, since January 2017, written and audiovisual media and social networking frequently dealt with the predicate. Hardly anybody read the syllabus itself, nor did they analyze the notion of predicate, but critics accused the predicate of being responsible of grammar and spelling’s future decline and even deteriorating education.

International audience; The development of a network centered life has increased overall data rates in core networks. Thus, data centers face the challenge to provide always more services at higher data rates while reacting quickly to complex failures and more powerful attacks thanks to efficient network forensics. Moreover, Software-Defined Networking (SDN) becomes a standard which offers agility but also requires forensic devices able to handle multiple configurations. Although conventional software probes are programmable and thus agile, they cannot support high data rate packet processing any more. Probes could benefit from Application Specific Integrated Circuits (ASIC) to cope with high data rates, but ASICs development time of many months makes them unable to satisfy agility requirements. With reconfiguration ability and high throughput processing without packet loss, Field Programmable Gate Arrays (FPGA) are the key technology chosen by some companies, such as Microsoft, Amazon and OVH, to be integrated into smart Network Interface Cards (NIC). Nevertheless, while high performance criteria is fulfilled, current FPGA probes benefit from an agility still limited to their conventional firmware upgrades which require proprietary tools and hardware-design time and knowledge. This paper proposes the first solution to offer FPGA probes with runtime agility thanks to a flexible packet parser which can be parameterized continuously by a software, endorsing complex tasks and SDN control. This allows a live adaptation of protocol processings from computer host alongside handling packets at line rate without data loss. The proposed parser is open-source and easily usable by network engineers through a Python software API. Benchmark results illustrate the performance of the agile high-level probe implemented on a NetFPGA SUME board, with XC7VX690T FPGA. 60 millions of 64-byte packets are counted based on features provided at runtime. These are selected by the software part, allowing the detection of different volumetric attacks within a few tens of microseconds. This represents a 40 Gb/s traffic of smallest Ethernet packets with no packet loss. With adequate boards, the generic design of the probe offers 160 Gb/s data rates and beyond on modern hardware, assuring probe scalability.