Search results for " Software Engineering"
showing 10 items of 582 documents
Toward a virtual reconstruction of an antique three-dimensional marble puzzle
2017
International audience; Abstract | Introduction | Related Work | Acquisition Setup, Proposed Prototype: Calibration and Visibility | Preprocessing of Scanned Three-Dimensional Fragment Data | Processing of Scanned Three-Dimensional Surface Data: Matching | Conclusion and Future Works | Appendices | Acknowledgments | ReferencesAbstract. The reconstruction of broken objects is an important field of research for many applications, such as art restoration, surgery, forensics, and solving puzzles. In archaeology, the reconstruction of broken artifacts is a very time-consuming task due to the handling of fractured objects, which are generally fragile. However, it can now be supported by three-dim…
A Review on Applications of Big Data for Disaster Management
2017
International audience; The term " disaster management " comprises both natural and man-made disasters. Highly pervaded with various types of sensors, our environment generates large amounts of data. Thus, big data applications in the field of disaster management should adopt a modular view, going from a component to nation scale. Current research trends mainly aim at integrating component, building, neighborhood and city levels, neglecting the region level for managing disasters. Current research on big data mainly address smart buildings and smart grids, notably in the following areas: energy waste management, prediction and planning of power generation needs, improved comfort, usability …
Management and interaction with multimodal information content
2010
[Chbeir, Richard] Univ Bourgogne, CNRS, LE2I, Dept Comp Sci, F-21000 Dijon, France. [Coninx, Karin] Univ Hasselt, Expertise Ctr Digital Media EDM, BE-3590 Diepenbeek, Belgium. [Ferri, Fernando; Grifoni, Patrizia] CNR, Inst Res Populat & Social Policies, Rome, Italy.
Integrating user preference to similarity queries over medical images datasets
2010
International audience; Large amounts of images from medical exams are being stored in databases, so developing retrieval techniques is an important research problem. Retrieval based on the image visual content is usually better than using textual descriptions, as they seldom gives every nuances that the user may be interested in. Content-based image retrieval employs the similarity among images for retrieval. However, similarity is evaluated using numeric methods, and they often orders the images by similarity in a way rather distinct from the user's intention. In this paper, we propose a technique to allow expressing the user's preference over attributes associated to the images, so simil…
Guest Editors' Introduction: Multimedia Metadata and Semantic Management
2009
This special issue assesses the current status and technologies and describes major challenges and proper solutions for effective multimedia production and management related to evolving Semantic Web strategies. The included articles, which cover different facets of the semantic management of multimedia and multimedia metadata from retrieval and processing to consumption and presentation, represent a step forward in research targeted at improving aspects of the semantic metadata life cycle.
Automatic Temporal Formatting of Multimedia Presentations Using Dynamic Petri Nets.
2009
An efficient authoring tool would provide support for automatic temporal formatting and modeling of multimedia presentations. Automatic temporal formatting is a process of converting the given presentation specifications into a required temporal format. This paper presents an algorithm that can convert a temporal layout into a dynamic petri net (DPN )w hich can represent iterative and interactive presentation components effectively. The prototype of the authoring tool extracts the temporal layout from any given SMIL file representation and uses the proposed algorithm to automatically convert it into a DPN. The DPN generated automatically at compile-time helps the run-time components in effe…
Reasoning with Vague Spatial Information from Upper Mesopotamia (2000BC)
2015
International audience; Concepts such as near, far, south of, etc., are by its own nature vague. However, they are quite common in human language. In the case of historical records, these concepts are often the only source of information regarding the position of ancient places whose exact location has been lost. In our research, we use digitized written records from Upper Mesopotamia (2000BC) from the HIGEOMES project. Our goal is to provide better understanding of the location of places, based on the analysis of spatial statements. In our approach, we analyse cardinal statements between places with known location. Using this information we construct a probabilistic function representing t…
Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems
2011
International audience; This paper describes new ways to tackle several important problems encountered in geometric constraint solving, in the context of CAD, and which are linked to the handling of under- and over-constrained systems. It presents a powerful decomposition algorithm of such systems. Our methods are based on the witness principle whose theoretical background is recalled in a first step. A method to generate a witness is then explained. We show that having a witness can be used to incrementally detect over-constrainedness and thus to compute a well-constrained boundary system. An algorithm is introduced to check if anchoring a given subset of the coordinates brings the number …
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…
Qualifying semantic graphs using model checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…