Search results for "020207 software engineering"

showing 10 items of 475 documents

Generic attribute deviation metric for assessing mesh simplification algorithm quality

2002

International audience; This paper describes an efficient method to compare two triangular meshes. Meshes considered here contain geometric features as well as other surface attributes such as material colors, texture, temperature, radiation, etc. Two deviation measurements are presented to assess the differences between two meshes. The first measurement, called geometric deviation, returns geometric differences. The second measurement , called attribute deviation, returns attribute differences regardless of the attribute type. In this paper we present an application of this method to the Mesh Simplification Algorithm (MSA) quality assessment according to the appearance attributes. This ass…

Computationmedia_common.quotation_subjectFeature extraction[INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR]02 engineering and technologySolid modeling[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]Computer graphics[INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]0202 electrical engineering electronic engineering information engineeringQuality (business)Polygon meshComputingMethodologies_COMPUTERGRAPHICSmedia_commonMathematicsbusiness.industry[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]020207 software engineeringPattern recognitionComputational geometry[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR][INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG]Metric (mathematics)020201 artificial intelligence & image processingArtificial intelligencebusinessAlgorithmProceedings. International Conference on Image Processing
researchProduct

A VR-Enhanced Rollover Car Simulator and Edutainment Application for Increasing Seat Belt Use Awareness

2021

Most countries have active road safety policies that seek the objective of reducing deaths in traffic accidents. One of the main factors in this regard is the awareness of the safety measures, one of the most important being the correct usage of the seat belt, a device that is known to save thousands of lives every year. The presented work shows a VR-enhanced edutainment application designed to increase awareness on the use of seat belts. For this goal, a motorized rollover system was developed that, synchronized with a VR application (shown in a head-mounted display for each user inside a real car), rolls over this car with up to four passengers inside. This way, users feel the sensations …

Computer Networks and CommunicationsComputer scienceContext (language use)02 engineering and technologySerious gameVirtual realitylaw.inventiontraffic safetyAeronauticslaw0202 electrical engineering electronic engineering information engineeringSeat beltPer capitagamificationawarenessserious gameSeguretat viària05 social sciencesedutainment050301 education020207 software engineeringQA75.5-76.95RolloverHuman-Computer InteractionRisk perceptionPsicologiaWork (electrical)Electronic computers. Computer sciencevirtual realityseat beltrollover simulator0503 educationComputers
researchProduct

A Comparative Evaluation of a Virtual Reality Table and a HoloLens-Based Augmented Reality System for Anatomy Training

2020

Anatomy training with real cadavers poses many practical problems for which new training and educational solutions have been developed making use of technologies based on real-time 3-D graphics. Although virtual reality (VR) and augmented reality (AR) have been previously used in the medical field, it is not easy to select the right 3-D technology or setup for each particular problem. For this reason, this article presents a comprehensive comparative study with 82 participants between two different 3-D interactive setups: an optical-based AR setup, implemented with a Microsoft HoloLens device, and a semi-immersive setup based on a VR Table. Both setups are tested using an anatomy training s…

Computer Networks and CommunicationsComputer sciencebusiness.industry05 social sciences050301 education020207 software engineeringHuman Factors and Ergonomics02 engineering and technologyAnatomyVirtual realityField (computer science)Computer Science ApplicationsComparative evaluationHuman-Computer InteractionSoftwareArtificial IntelligenceControl and Systems EngineeringSignal Processing0202 electrical engineering electronic engineering information engineeringTable (database)Augmented realityGraphicsbusiness0503 educationIEEE Transactions on Human-Machine Systems
researchProduct

Modular Strategies for Recursive Game Graphs

2006

AbstractMany problems in formal verification and program analysis can be formalized as computing winning strategies for two-player games on graphs. In this paper, we focus on solving games in recursive game graphs which can model the control flow in sequential programs with recursive procedure calls. While such games can be viewed as the pushdown games studied in the literature, the natural notion of winning in our framework requires the strategies to be modular with only local memory; that is, resolution of choices within a module does not depend on the context in which the module is invoked, but only on the history within the current invocation of the module. While reachability in (global…

Computer Science::Computer Science and Game TheoryTheoretical computer scienceGeneral Computer ScienceCombinatorial game theoryContext (language use)02 engineering and technology0102 computer and information sciences01 natural sciencesTheoretical Computer ScienceProgram analysisReachability0202 electrical engineering electronic engineering information engineering0101 mathematicsMathematicsbusiness.industry010102 general mathematics020207 software engineeringPushdown systemsResolution (logic)Modular designCall graphUndecidable problemModel-checkingGames in verification010201 computation theory & mathematicsbusinessComputer Science(all)
researchProduct

Deep multimodal fusion for semantic image segmentation: A survey

2021

International audience; Recent advances in deep learning have shown excellent performance in various scene understanding tasks. However, in some complex environments or under challenging conditions, it is necessary to employ multiple modalities that provide complementary information on the same scene. A variety of studies have demonstrated that deep multimodal fusion for semantic image segmentation achieves significant performance improvement. These fusion approaches take the benefits of multiple information sources and generate an optimal joint prediction automatically. This paper describes the essential background concepts of deep multimodal fusion and the relevant applications in compute…

Computer science02 engineering and technologyMachine learningcomputer.software_genre0202 electrical engineering electronic engineering information engineeringImage fusionSegmentationmutimodal fusionImage segmentationImage fusionHeuristicbusiness.industryDeep learning[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Deep learning020207 software engineeringImage segmentationSemantic segmentationVariety (cybernetics)Multi-modal[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Signal ProcessingBenchmark (computing)020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionArtificial intelligencePerformance improvementbusinesscomputerImage and Vision Computing
researchProduct

Developing design knowledge and a conceptual model for virtual reality learning environments

2021

This chapter focuses on applying design science research for virtual reality learning environment (VRLE) design processes. Six selected case studies are presented in the context of VRLEs. The case selections were analyzed in terms of their contributions to design knowledge. The objective of this book chapter is twofold: 1) for researchers, the design knowledge contributions of case studies are highlighted for future reference, and 2) for developers and practitioners, design principles are presented for the development of VRLEs. The final outcome of the present study is a conceptual model describing the current design knowledge in the field of VRLEs and identifying the research gaps that sho…

Computer science4. Education05 social sciencesConceptual model (computer science)050301 education020207 software engineering02 engineering and technologyVirtual realityDesign knowledge113 Computer and information sciencesHuman–computer interaction0202 electrical engineering electronic engineering information engineering516 Educational sciences0503 education
researchProduct

Representation of NURBS surfaces by Controlled Iterated Functions System automata

2019

Iterated Function Systems (IFS) are a standard tool to generate fractal shapes. In a more general way, they can represent most of standard surfaces like Bézier or B-Spline surfaces known as self-similar surfaces. Controlled Iterated Function Systems (CIFS) are an extension of IFS based on automata. CIFS are basically multi-states IFS, they can handle all IFS shapes but can also manage multi self-similar shapes. For example CIFS can describe subdivision surfaces around extraordinary vertices whereas IFS cannot. Having a common CIFS formalism facilitates the development of generic methods to manage interactions (junctions, differences...) between objects of different natures.This work focuses…

Computer scienceBasis functionBézier curve02 engineering and technology[INFO] Computer Science [cs]Computer Science::Computational Geometry01 natural scienceslcsh:QA75.5-76.95Iterated function system0202 electrical engineering electronic engineering information engineeringSubdivision surface[INFO]Computer Science [cs]0101 mathematicsComputingMilieux_MISCELLANEOUSSubdivisionFinite-state machinebusiness.industry010102 general mathematicsGeneral Engineering020207 software engineeringComputer Graphics and Computer-Aided Design[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]AutomatonHuman-Computer InteractionAlgebraComputer Science::GraphicsIterated functionlcsh:Electronic computers. Computer sciencebusinessComputers & Graphics: X
researchProduct

Automatic Calibration of an Industrial RGB-D Camera Network Using Retroreflective Fiducial Markers

2019

This paper describes a non-invasive, automatic, and robust method for calibrating a scalable RGB-D sensor network based on retroreflective ArUco markers and the iterative closest point (ICP) scheme. We demonstrate the system by calibrating a sensor network comprised of six sensor nodes positioned in a relatively large industrial robot cell with an approximate size of 10 m × 10 m × 4 m . Here, the automatic calibration achieved an average Euclidean error of 3 c m at distances up to 9.45 m . To achieve robustness, we apply several innovative techniques: Firstly, we mitigate the ambiguity problem that occurs when detecting a marker at long range or low resolution by comparing the…

Computer scienceComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION02 engineering and technologylcsh:Chemical technologytime-of-flightBiochemistryArticleVDP::Food science and technology: 600Analytical Chemistrylaw.inventionIndustrial robotlawRegion of interestRobustness (computer science)automatic calibration0202 electrical engineering electronic engineering information engineeringCalibrationVDP::Næringsmiddelteknologi: 600lcsh:TP1-1185Computer visionElectrical and Electronic EngineeringInstrumentationbusiness.industryambiguity problemIterative closest point3D sensors020207 software engineeringretroreflective markersAtomic and Molecular Physics and OpticsTime of flightTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESRGB color model020201 artificial intelligence & image processingArtificial intelligencebusinessFiducial markerWireless sensor networkSensors
researchProduct

Hidden Pursuits: Evaluating Gaze-selection via Pursuits when the Stimuli's Trajectory is Partially Hidden

2018

The idea behind gaze interaction using Pursuits is to leverage the human's smooth pursuit eye movements performed when following moving targets. However, humans can also anticipate where a moving target would reappear if it temporarily hides from their view. In this work, we investigate how well users can select targets using Pursuits in cases where the target's trajectory is partially invisible (HiddenPursuits): e.g., can users select a moving target that temporarily hides behind another object? Although HiddenPursuits was not studied in the context of interaction before, understanding how well users can perform HiddenPursuits presents numerous opportunities, particularly for small interfa…

Computer scienceContext (language use)ComputerApplications_COMPUTERSINOTHERSYSTEMS02 engineering and technologySmooth pursuitsilmänliikkeetUser experience designLeverage (negotiation)Human–computer interactiondisplays0202 electrical engineering electronic engineering information engineeringSelection (linguistics)0501 psychology and cognitive sciencesmotion correlation050107 human factorsta113business.industry05 social sciences020207 software engineeringGazeObject (philosophy)näyttölaitteethidden trajectorysmooth pursuitTrajectorykatsebusinessärsykkeet
researchProduct

Concurrent Computing with Shared Replicated Memory

2019

Any concurrent system can be captured by a concurrent Abstract State Machine (cASM). This remains valid, if different agents can only interact via messages. It even permits a strict separation between memory managing agents and other agents that can only access the shared memory by sending query and update requests. This paper is dedicated to an investigation of replicated data that is maintained by a memory management subsystem, where the replication neither appears in the requests nor in the corresponding answers. We specify the behaviour of a concurrent system with such memory management using concurrent communicating ASMs (ccASMs), provide several refinements addressing different replic…

Computer scienceDistributed computing020207 software engineering0102 computer and information sciences02 engineering and technology01 natural sciencesReplication (computing)Consistency (database systems)Memory managementShared memory010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringAbstract state machinesConcurrent computingVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550
researchProduct