Search results for " Computer science"
showing 10 items of 3983 documents
Bridging the Gap between Geospatial and Construction, Geo4Construction 2020
2020
Vocabulaires de données pour le BIM
2019
International audience
Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration
2005
International audience; The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data representation is the spatio-temporal domain. Spatio-temporal data are most often described according to multiple and greatly diverse perceptions or viewpoints, using different terms and with heterogeneous levels of detail. Reconciling this heterogeneity to build a fully integrated database is known to be a complex and currently unresolved problem, and few formal approaches exist for the integration of spatio-temporal databases. The paper discusses the interope…
Linked data vocabularies for BIM
2019
Given the high interest in the field of BIM (Building Information Modeling) for Linked Data approaches over the last years, the article at hand presents an evaluation of the main Linked Data vocabularies available for the considered domain. First, Semantic Web layer architecture is presented, along with the 4 main principles of Linked Data. Second, each vocabulary is evaluated according to these 4 principles, while 2 additional ones are added in order to assess the licence associated with the vocabulary (open or not, specified or missing). An overall comparison among the considered vocabularies is also provided, thus helping in choosing which vocabulary to use in future Linked Data applicat…
Détection des fonctions de rang linéaires à terme
2013
Program termination is a hot research topic in program analysis. The last a few years have witnessed the development of termination analyzers for programming languages such as C and Java with remarkable precision and performance. These systems are largely based on techniques and tools coming from the field of constraint programming. In this paper, we first recall an algorithm based on Farkas' Lemma for discovering linear ranking functions proving termination of a certain class of loops. Then we propose an extension of this method for showing the existence of eventual linear ranking functions, i.e., linear functions that become ranking functions after a finite unrolling of the loop. We show …
De l'usage des logiques modales pour la gestion de l'incertitude des données : application en archéologie
2015
Archaeological information systems offer methods and tools for representing collected data and performing analyses with which taking into account imperfect data is often hard to please. Our contribution describes the use of several modal logics to model and verify the effects of the consideration of uncertain data, but also to check the quality of a corpus in an in-terdisciplinary collaborative environment. The modelling and the reasoning based on uncertain data, which are studied in this article, are integrated open and extensible platform allowing to manage archaeological data. From the computing point of view, the reasoner used, based on the first order logic, provides the archaeologists…
Vers la conception d'une action de réponse pour la gestion de catastrophe, utilisant la modélisation de connaissances
2018
International audience; Ce travail de positionnement souligne les problèmes actuels liés aux diffé-rents aspects de la collaboration inter agence pendant la réponse à une catastrophe. La coordination et la coopération dépendent de l'usage et du partage d'informations, qui doivent faire face aux problèmes d'interopérabilité, de droits d'accès et de qualité. Le projet de recherche a pour but de fournir une évaluation de l'impact de l'information sur la réponse à une catastrophe afin d'aider la prise de décision concernant l'usage et le partage de l'information en répondant à des questions telles que: quelles informa-tions devraient être partagées ou quelle qualité de données utilisées pour am…
Multiple Structured Light-Based Depth Sensors for Human Motion Analysis: A Review
2012
Human motion analysis is an increasingly important active research domain with various applications in surveillance, human-machine interaction and human posture analysis. The recent developments in depth sensor technology, especially with the release of the Kinect device, have attracted significant attention to the question of how to take advantage of this technology in order to achieve accurate motion tracking and action detection in marker-less approaches. In this paper, we review the benefits and limitations deriving from the adoption of structured light-based depth sensors in human motion analysis applications. Surveying the relevant literature, we have identified in calibration, interf…
Evolutionary-based 3D reconstruction using an uncalibrated stereovision system: application of building a panoramic object view
2010
In this paper, we propose an original evolutionary-based method for 3D panoramic reconstruction from an uncalibrated stereovision system (USS). The USS is composed of five cameras located on an arc of a circle around the object to be analyzed. The main originality of this work concerns the process of the calculation of the 3D information. Actually, with our method, 3D coordinates are directly obtained without any prior estimation of the fundamental matrix. The method operates in two steps. Firstly, points of interest are detected in pairs of images acquired by two consecutive cameras of the USS are matched. And secondly, using evolutionary algorithms, we jointly compute the transformed matr…
MEDES '10: International ACM Conference on Management of Emergent Digital EcoSystems, Bangkok, Thailand, October 26-29, 2010
2010
International audience