نتایج جستجو برای: liens intersémiotiques

تعداد نتایج: 915  

1997
BERNARD DELYON Bernard Delyon

Convergence rates and related Central Limit theorems have been the subject of numerous papers. In 1] a systematic link was rst established between 1/ system identiication, and 2/ model validation or testing for small changes. Similarities and relations are discussed in 2], part I, chap 5, and this so-called local approach has proved very successful in practical applications. In this paper, we r...

2006
Akram Idani

RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...

2010
Patrick Bosc Allel HadjAli Olivier Pivert Grégory Smits

Résumé. L’interrogation de bases de données, dont les dimensions ne cessent de croître, se heurte fréquemment au problème de la gestion des réponses pléthoriques. Une des approches envisageables pour réduire l’ensemble des résultats retournés et le rendre exploitable est de contraindre la requête initiale par l’ajout de nouvelles conditions. L’approche présentée dans cet article s’appuie sur l’...

2007
Jamshid Beheshti Ian Clement Nahid Tabatabaei

We report on a pilot project to evaluate the usability of the VRLibrary, a desktop virtual reality library containing links to websites, depicted as books. While lack of instructions may have prevented the participants in the pilot study from completing the experimental tasks efficiently, they endorsed enthusiastically the VRLibrary. Résumé : Nous présentons un projet préliminaire conçu pour év...

Journal: :RFC 2003
Thomas H. Clausen Philippe Jacquet

This document describes the Optimized Link State Routing (OLSR) protocol for mobile ad hoc networks. The protocol is an optimization of the classical link state algorithm tailored to the requirements of a mobile wireless LAN. The key concept used in the protocol is that of multipoint relays (MPRs). MPRs are selected nodes which forward broadcast messages during the ooding process. This techniqu...

Journal: :Potchefstroom Electronic Law Journal 2021

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید