منابع مشابه
Représentation Symbolique de Trajectoires Géolocalisées
RESUME. Énormément de trajectoires géolocalisées sont produites et disponibles, mais leur exploitation pour en tirer des informations intéressantes reste difficile. L'obstacle qui nous intéresse ici est la mauvaise qualité de certaines de ces données : échantillonnage très irrégulier et précision médiocre. Nous proposons de les transposer dans des domaines symboliques pour pouvoir effectuer des...
متن کاملComplexité en espace de l'exploration de graphes
Graph Exploration is a problem motivated by several aspects of theoretical computer science, including logic and computational complexity. It has also numerous applications in robotics. In all these contexts, the amount of memory used by the mobile entity (robot, finite automaton, etc.) performing exploration is a key parameter. In this thesis, we study in depth the space complexity of graph ex...
متن کاملTest Symbolique De Services Web Composites
Web services are gaining industry-wide acceptance and usage by fostering the development of distributed applications out of the composition of simpler entities called services. In complement to verification, testing allows one to check for the correctness of a binary (no source code) service implementation with reference to a specification. In this thesis, we propose black box conformance testi...
متن کاملEspace de Services : Vers une formalisation des Systèmes d'Information Pervasifs
Pervasive Information Systems (PIS) represent the next generation of Information Systems (IS). They differ from both traditional IS and pervasive systems: from the former by the heterogeneity of the pervasive environment to which they belong, and from the latter, by the fact that they must integrate an organization and its strategies. In this paper, we propose a conceptual framework, called ser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geographica Helvetica
سال: 1983
ISSN: 2194-8798
DOI: 10.5194/gh-38-121-1983