Search results for "Notation"

showing 10 items of 317 documents

CRISPR sequences are sometimes erroneously translated and can contaminate public databases with spurious proteins containing spaced repeats

2020

© The Author(s) 2020.

Computer scienceGene predictionGenomicscomputer.software_genreGeneral Biochemistry Genetics and Molecular BiologyHomology (biology)03 medical and health sciencesAnnotation0302 clinical medicineCRISPRClustered Regularly Interspaced Short Palindromic RepeatsDatabases Protein030304 developmental biology0303 health sciencesDatabasePalindromeProteinsComputational geneGenomicsAcademicSubjects/SCI00960Original ArticleUniProtGeneral Agricultural and Biological Sciencescomputer030217 neurology & neurosurgeryInformation Systems
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

Generation of User Interfaces from Business Process Model Notation (BPMN)

2019

Business Process Model Notation focuses on functional processes; so, the design of the interface generally depends on the subjective experience of the analyst. This thesis proposes a new method to generate interfaces from BPMN models. The idea is to identify rules from BPMN to interfaces in existing real projects. We have analyzed 7 Bizagi projects to generalize a list of rules. It has been done considering five BPMN patterns. Apart from BPMN primitives, there are rules that depend on elements of Class Diagrams to know how to generate the interfaces. When the rules have several alternatives to generate the interfaces, we need an unambiguous semantics to specify which alternative we are goin…

Computer scienceProgramming languageInterface (Java)Semantics (computer science)business.industry05 social sciences020207 software engineeringUsability02 engineering and technologyBusiness process modelingUNESCO::CIENCIAS TECNOLÓGICAScomputer.software_genreNotationBusiness Process Model and Notation0502 economics and business0202 electrical engineering electronic engineering information engineeringClass diagramUser interfacebusinesscomputer050203 business & management
researchProduct

Semiautomatic Behavioral Change-Point Detection: A Case Study Analyzing Children Interactions With a Social Agent

2021

The study of human behaviors in cognitive sciences provides clues to understand and describe people’s personal and interpersonal functioning. In particular, the temporal analysis of behavioral dynamics can be a powerful tool to reveal events, correlations and causalities but also to discover abnormal behaviors. However, the annotation of these dynamics can be expensive in terms of temporal and human resources. To tackle this challenge, this paper proposes a methodology to semi-automatically annotate behavioral data. Behavioral dynamics can be expressed as sequences of simple dynamical processes: transitions between such processes are generally known as change-points. This paper describes th…

Computer scienceSemi-automated annotationInterpersonal communicationHuman BehaviorMachine learningcomputer.software_genreHuman behaviorTask (project management)[SCCO]Cognitive scienceAnnotationArtificial IntelligenceChange-pointPsychologyTrainingComputingMilieux_MISCELLANEOUSPsychiatrySettore ING-INF/05 - Sistemi Di Elaborazione Delle Informazionibusiness.industryManualComputational modelingSocial agentsDynamics (music)Task analysisToolTask analysiArtificial intelligencebusinesscomputerSoftwareChange detectionIEEE Transactions on Cognitive and Developmental Systems
researchProduct

Tempo Induction from Music Recordings Using Ensemble Empirical Mode Decomposition Analysis

2011

Tempo and beat are among the most important features of Western music. Owing to the perceptual nature of tempo, its automatic analysis and extraction remains a difficult task for a large variety of music genres. Western music notation represents musical events using a hierarchical metrical structure distinguishing different time scales. This hierarchy is often modeled using three levels: the tatum, the tactus, and the measure. The tatum represents the shortest durational value in music that is not just an accidental phenomenon (Bilmes 1993). The tactus period is the most perceptually prominent period, and is the period at which most humans would tap their feet in time with the music (Lerdah…

Computer scienceSpeech recognitionmedia_common.quotation_subjectMusicalNotationHilbert–Huang transformComputer Science ApplicationsRhythmAudio editing softwarePerceptionMedia TechnologyMusic information retrievalBeat (music)Musicmedia_commonComputer Music Journal
researchProduct

Perceptual Image Representations for Support Vector Machine Image Coding

2007

Support-vector-machine image coding relies on the ability of SVMs for function approximation. The size and the profile of the e-insensitivity zone of the support vector regressor (SVR) at some specific image representation determines (a) the amount of selected support vectors (the compression ratio), and (b) the nature of the introduced error (the compression distortion). However, the selection of an appropriate image representation is a key issue for a meaningful design of the e-insensitivity profile. For example, in image-coding applications, taking human perception into account is of paramount relevance to obtain a good rate-distortion performance. However, depending on the accuracy of t…

Computer sciencebusiness.industryComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONPattern recognitionImage processingPermissionImage (mathematics)Support vector machineAutomatic image annotationDigital image processingComputer visionArtificial intelligenceImage warpingbusinessFeature detection (computer vision)
researchProduct

A novel Bayesian framework for relevance feedback in image content-based retrieval systems

2006

This paper presents a new algorithm for image retrieval in content-based image retrieval systems. The objective of these systems is to get the images which are as similar as possible to a user query from those contained in the global image database without using textual annotations attached to the images. The main problem in obtaining a robust and effective retrieval is the gap between the low level descriptors that can be automatically extracted from the images and the user intention. The algorithm proposed here to address this problem is based on the modeling of user preferences as a probability distribution on the image space. Following a Bayesian methodology, this distribution is the pr…

Computer sciencebusiness.industryComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONRelevance feedbackPattern recognitioncomputer.software_genreAutomatic image annotationArtificial IntelligenceComputer Science::Computer Vision and Pattern RecognitionSignal ProcessingProbability distributionComputer Vision and Pattern RecognitionVisual WordArtificial intelligenceData miningbusinessPrecision and recallImage retrievalcomputerSoftwarePattern Recognition
researchProduct

Automatic Image Annotation Using Random Projection in a Conceptual Space Induced from Data

2018

The main drawback of a detailed representation of visual content, whatever is its origin, is that significant features are very high dimensional. To keep the problem tractable while preserving the semantic content, a dimen- sionality reduction of the data is needed. We propose the Random Projection techniques to reduce the dimensionality. Even though this technique is sub-optimal with respect to Singular Value Decomposition its much lower computational cost make it more suitable for this problem and in par- ticular when computational resources are limited such as in mobile terminals. In this paper we present the use of a "conceptual" space, automatically induced from data, to perform automa…

Computer sciencebusiness.industryDimensionality reductionRandom projectionFeature extractionRANDOM MAPPINGPattern recognition02 engineering and technology010501 environmental sciencesConceptual-space01 natural sciencesVisualizationAutomatic image annotationRandom-projectionHistogramSingular value decomposition0202 electrical engineering electronic engineering information engineeringImage-semantic020201 artificial intelligence & image processingArtificial intelligenceIMAGE ANNOTATIONbusinessCONCEPTUAL SPACE0105 earth and related environmental sciencesCurse of dimensionality
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

Image Recognition through Incremental Discriminative Common Vectors

2010

An incremental approach to the discriminative common vector (DCV) method for image recognition is presented. Two different but equivalent ways of computing both common vectors and corresponding subspace projections have been considered in the particular context in which new training data becomes available and learned subspaces may need continuous updating. The two algorithms are based on either scatter matrix eigendecomposition or difference subspace orthonormalization as with the original DCV method. The proposed incremental methods keep the same good properties than the original one but with a dramatic decrease in computational burden when used in this kind of dynamic scenario. Extensive …

Computer sciencebusiness.industryPattern recognitionContext (language use)Machine learningcomputer.software_genreAutomatic image annotationDiscriminative modelImage textureScatter matrixU-matrixComputer visionArtificial intelligencebusinesscomputerSubspace topologyFeature detection (computer vision)
researchProduct