Search results for "computer.file_format"

showing 10 items of 214 documents

ViziQuer: A Visual Notation for RDF Data Analysis Queries

2019

Visual SPARQL query notations aim at easing the RDF data querying task. At the current state of the art there is still no generally accepted visual graph-based notation suitable to describe RDF data analysis queries that involve aggregation and subqueries. In this paper we present a visual diagram-centered notation for SPARQL select query formulation, capable to handle aggregate/statistics queries and hierarchic queries with subquery structure. The notation is supported by a web-based prototype tool. We present the notation examples, describe its syntax and semantics and describe studies with possible end users, involving both IT and medicine students.

Computer scienceEnd userProgramming languageInformationSystems_INFORMATIONSTORAGEANDRETRIEVAL010401 analytical chemistry05 social sciencesQuery formulationInformationSystems_DATABASEMANAGEMENTcomputer.file_formatNotationcomputer.software_genre01 natural sciences0104 chemical sciencesSPARQLGraph (abstract data type)0501 psychology and cognitive sciencesVisual notationRDFcomputer050107 human factors
researchProduct

Application based on dynamic reconfiguration of field-programmable gate arrays: JPEG 2000 arithmetic decoder

2005

This paper describes the implementation of a part of the JPEG 2000 algorithm (MQ decoder and arithmetic decoder) on a field-programmable gate array (FPGA) board by using dynamic reconfiguration. A comparison between static and dynamic reconfiguration is presented, and new analysis criteria (spatiotemporal efficiency, logic cost, and performance time) have been defined. The MQ decoder and arithmetic decoder are attractive for dynamic reconfiguration implementation in applications without parallel processing. This implementation is done on an architecture designed to study the dynamic reconfiguration of FPGAs: the ARDOISE architecture. The obtained implementation, based on four partial config…

Computer scienceGeneral EngineeringControl reconfigurationcomputer.file_formatAtomic and Molecular Physics and OpticsParallel processing (DSP implementation)Gate arrayJPEG 2000System on a chipHardware_ARITHMETICANDLOGICSTRUCTURESArithmeticField-programmable gate arraycomputerImage compressionOptical Engineering
researchProduct

WSN Design and Verification Using On-Board Executable Specifications

2019

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…

Computer scienceInformation System02 engineering and technologywireless sensor networkSoftware0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEmbedded systemsymbolic programmingSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFunctional specificationbusiness.industry020208 electrical & electronic engineeringRuntime verificationresource-constrained deviceComputer Science Applications1707 Computer Vision and Pattern Recognitioncomputer.file_formatsystem specificationComputer Science ApplicationsControl and Systems EngineeringEmbedded systemsystem programmingExecutablebusinesscomputerInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct

Improved Statistically Based Retrievals via Spatial-Spectral Data Compression for IASI Data

2019

In this paper, we analyze the effect of spatial and spectral compression on the performance of statistically based retrieval. Although the quality of the information is not com- pletely preserved during the coding process, experiments reveal that a certain amount of compression may yield a positive impact on the accuracy of retrievals. We unveil two strategies, both with interesting benefits: either to apply a very high compression, which still maintains the same retrieval performance as that obtained for uncompressed data; or to apply a moderate to high compression, which improves the performance. As a second contribution of this paper, we focus on the origins of these benefits. On the one…

Computer scienceInfrared Atmospheric Sounding Interferometer (IASI)Spectral Transforms0211 other engineering and technologies02 engineering and technologyData_CODINGANDINFORMATIONTHEORYLossy compressionInfrared atmospheric sounding interferometer (IASI)Kernel MethodsElectrical and Electronic EngineeringTransform coding021101 geological & geomatics engineeringbusiness.industryDimensionality reductionLossy CompressionJPEG 2000Kernel methodsPattern recognitioncomputer.file_formatJoint Photographic Experts Group (JPEG) 2000RegressionUncompressed videoSpectral transformsKernel methodStatistically based retrievalJPEG 2000General Earth and Planetary SciencesLossy compressionArtificial intelligencebusinessStatistically Based RetrievalcomputerSmoothingIEEE Transactions on Geoscience and Remote Sensing
researchProduct

An introduction to knowledge computing

2014

This paper deals with the challenges related to self-management and evolution of massive knowledge collections. We can assume that a self-managed knowledge graph needs a kind of a hybrid of: an explicit declarative self-knowledge (as knowledge about own properties and capabilities) and an explicit procedural self-knowledge (as knowledge on how to utilize own properties and the capabilities for the self-management).We offer an extension to a traditional RDF model of describing knowledge graphs according to the Semantic Web standards so that it will also allow to a knowledge entity to autonomously perform or query from remote services different computational executions needed. We also introdu…

Computer scienceOpen Knowledge Base ConnectivityEnergy Engineering and Power Technologyknowledge ecosystemssemanttinen webcomputer.software_genretietämyksenhallintaIndustrial and Manufacturing EngineeringKnowledge-based systemsKnowledge extractionManagement of Technology and InnovationElectrical and Electronic Engineeringtietämysself-managed systemsDatabasebusiness.industryApplied MathematicsMechanical Engineeringexecutable knowledgeknowledge computingcomputer.file_formatMathematical knowledge managementProcedural knowledgeComputer Science ApplicationsKnowledge baseControl and Systems EngineeringDomain knowledgeExecutablebusinessSoftware engineeringcomputerEastern-European Journal of Enterprise Technologies
researchProduct

Object-Oriented Operational Semantics

2016

Operational semantics is one way of providing meaning to an executable language. On a high level of abstraction, operational semantics means to define an interpreter or an abstract machine for the language. In this article, we review the concept of operational semantics in the scope of meta-model-based language definitions and identify challenges and issues. We provide a clean conceptual approach using an object-oriented runtime environment and state change operations, which relies on an underlying abstract virtual machine. We present the approach using a sample language.

Computer scienceProgramming language0102 computer and information sciences02 engineering and technologycomputer.file_formatcomputer.software_genre01 natural sciencesOperational semanticsAbstract machineAction semanticsDenotational semantics010201 computation theory & mathematicsVirtual machine0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingExecutablecomputerInterpreterAbstraction (linguistics)
researchProduct

Architecture and Language for Semantic Reduction of Domain-Specific Models in BPMS

2012

Nowadays each business process management system (BPMS) supports either an industry standard or its own specific modeling language. But no BPMS supports a specific language for each organization. We propose an architecture for building BPMS that allows creating a domain-specific modeling language for every client easily. The main problem is to bridge the gap between the domain-specific language and the executable language. We show that we can look at this problem as a classification of the domain-specific language constructs in the terms of the executable language. To solve this problem we present a novel model transformation language, with which this type of problem can be solved more natu…

Computer scienceProgramming languageModeling languagebusiness.industrycomputer.file_formatcomputer.software_genreDomain (software engineering)Reduction (complexity)Business process managementExecutableArchitecturebusinesscomputerLanguage constructModel transformation languagecomputer.programming_language
researchProduct

Comparison of digital protocols for the measurement of peri-implant marginal bone loss

2018

Background The measurement of peri-implant marginal bone loss is currently carried out using digital methods of radiographic analysis assisted by various types of software. The purpose of this study was to compare the characteristics of three different softwares: specific radiology software for the development and visualization of radiological images in DICOM format (3Dicom Viewer®), advanced level software for professional editing of bitmap images (or raster graphics) (Adobe Photoshop®), and mid-level software for processing bitmap-type images, programmed in Java and in the public domain (ImageJ®). Material and Methods It was verified that the three softwares used are valid for the measure…

Computer scienceRadiography0206 medical engineering02 engineering and technologyengineering.material03 medical and health sciencesDICOM0302 clinical medicineSoftwareComputer graphics (images)General DentistryProtocol (science)business.industryResearchAdobe030206 dentistrycomputer.file_format:CIENCIAS MÉDICAS [UNESCO]020601 biomedical engineeringVisualizationUNESCO::CIENCIAS MÉDICASengineeringBitmapOral SurgeryRaster graphicsbusinesscomputerJournal of Clinical and Experimental Dentistry
researchProduct

A Methodology for the Analysis of Memory Response to Radiation through Bitmap Superposition and Slicing

2015

A methodology is proposed for the statistical analysis of memory radiation test data, with the aim of identifying trends in the single-even upset (SEU) distribution. The treated case study is a 65nm SRAM irradiated with neutrons, protons and heavy-ions.

Computer sciencebitmap slicingParallel computingHardware_PERFORMANCEANDRELIABILITYRadiationSlicingUpsetElectronic mailSuperposition principleStatic random-access memoryMemoriesstatic testNuclear Experimentdynamic testta114ta213computer.file_formatSRAMBitmap[SPI.TRON]Engineering Sciences [physics]/ElectronicsMultiple Cell Upset (MCU)MCUSERBitmapradiation testevent accumulationSingle Event Upset (SEU)AlgorithmcomputerSEUTest data
researchProduct

Three-domain image representation for personal photo album management

2010

In this paper we present a novel approach for personal photo album management. Pictures are analyzed and described in three representation spaces, namely, faces, background and time of capture. Faces are automatically detected and rectified using a probabilistic feature extraction technique. Face representation is then produced by computing PCA (Principal Component Analysis). Backgrounds are represented with low-level visual features based on RGB histogram and Gabor filter bank. Temporal data is obtained through the extraction of EXIF (Exchangeable image file format) data. Each image in the collection is then automatically organized using a mean-shift clustering technique. While many system…

Computer sciencebusiness.industryFeature extractionCBIR - Content Based Image Retrieval automatic image annotation personal photo album managementComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONImage processingcomputer.file_formatGabor filterAutomatic image annotationHistogramFace (geometry)RGB color modelComputer visionArtificial intelligenceImage file formatsImage sensorCluster analysisbusinesscomputer
researchProduct