Search results for "REPRESENTATION"

showing 10 items of 1710 documents

Automatic Dictionary Creation by Sub-symbolic Encoding of Words

2006

This paper describes a technique for automatic creation of dictionaries using sub-symbolic representation of words in cross-language context. Semantic relationship among words of two languages is extracted from aligned bilingual text corpora. This feature is obtained applying the Latent Semantic Analysis technique to the matrices representing terms co-occurrences in aligned text fragments. The technique allows to find the “best translation” according to a properly defined geometric distance in an automatically created semantic space. Experiments show an interesting correctness of 95% obtained in the best case.

Text corpusCorrectnessProbabilistic latent semantic analysisComputer scienceLatent semantic analysisbusiness.industryContext (language use)Translation (geometry)computer.software_genreFeature (linguistics)Artificial intelligencebusinessRepresentation (mathematics)computerNatural language processing
researchProduct

Una nuova acquisizione iconografica per la ricostruzione della tribuna di Antonello Gagini nella Cattedrale di Palermo

2022

La recente digitalizzazione di un dipinto di anonimo siciliano nelle collezioni del Museo de Historia di Madrid e il suo inserimento nei database del patrimonio culturale spagnolo ed europeo ha consentito di riportare all’attenzione della comunità scientifica un’importante raffigurazione pittorica della tribuna di Antonello Gagini nella Cattedrale di Palermo. Dopo avere ripercorso le principali fonti documentarie ed iconografiche relative alla tribuna, viene qui presentata l’opera oggi a Madrid, che fornisce un prezioso riscontro alle fonti fin qui note.

The recent digitisation of a painting by an anonymous Sicilian in the collections of the Museo de Historia in Madrid and its inclusion in the Spanish and European cultural heritage databases has made it possible to bring an important pictorial representation of Antonello Gagini’s tribune in Palermo Cathedral back to the attention of the scientific community. After reviewing the main documentary and iconographic sources relating to the tribune the work now in Madrid is presented here which provides a valuable comparison to the sources known so far.
researchProduct

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

2017

Abstract We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design. Such models can – in contrast to purely functional controller models – not be analyzed with hybrid verification engines relying on explicit representations of modes, but require fully symbolic representations for both the continuous and discrete part of the state space. The presented abstraction methods directly work on a symbolic representation of arbitrary non-convex combinations of line…

Theoretical computer scienceComputer science020207 software engineering02 engineering and technologyAutomatonHybrid system0202 electrical engineering electronic engineering information engineeringState space020201 artificial intelligence & image processingState (computer science)Representation (mathematics)Boolean data typeSoftwareInterpolationCounterexampleScience of Computer Programming
researchProduct

Probabilistic versus deterministic memory limited learning

1995

Theoretical computer scienceComputer scienceDeterministic memoryTerm memoryProbabilistic logicRecursive functionsShort-term memoryString representation
researchProduct

Rough Sets and Vague Sets

2007

The subject-matter of the consideration touches the problem of vagueness. The notion of the rough set, originated by Zdzislaw Pawlak, was constructed under the influence of vague information and methods of shaping systems of notions leading to conceptualization and representation of vague knowledge, so also systems of their scopes as some vague sets. This paper outlines some direction of searching for a solution to this problem. In the paper, in connection to the notion of the rough set, the notion of a vague set is introduced. Some operations on these sets and their properties are discussed. The considerations intend to take into account a classical approach to reasoning, based on vague pr…

Theoretical computer scienceConceptualizationClassical logicComputingMilieux_LEGALASPECTSOFCOMPUTINGVaguenessRepresentation (arts)Rough setVague setAlgorithmConnection (mathematics)Mathematics
researchProduct

Which new semantic for new shapes?

2006

There are two innovations which have drastically changed the building process: the operational continuity of the design and construction phases, and the software allowing not only the representation but also the autonomous creation of complex shapes never before thought of just because they could not be represented. This last innovation gave rise to a new design paradigm whose tools, according to their supporters, are the most advanced fields of mathematics and information science. Some ways of using these new possibilities gave rise to a radical, problematic, change in the relationship net between the designer’s intentions, the shapes through which they express them (invented or self-gener…

Theoretical computer scienceInterpretation (philosophy)Architecture Structural design Digital architecture ConstructionContext (language use)Communication sourceRepresentation (arts)ArchitectureDigital architectureDesign paradigmObject (philosophy)Epistemology
researchProduct

A Problem Structuring Method

1991

Given a formal definition of problem and a formal definition of system, the equivalence between both concepts is studied. Considering a problem as a 3-tuple , where D is the set of possible data, R is the set of possible results, and P the set of conditions of the problem, classes of problems are constructed as combinations of types of data, types of results and types of conditions. For example, data can be either literal or numerical, either with uncertainty or not; conditions can be determined by rules, tables, equations, it may have uncertainty, etc. As a case of application it is outlined how some of the most common problems (knowledge representation, search, reasoning and planning, etc…

Theoretical computer scienceKnowledge representation and reasoningSystems theoryUncertain dataDynamic problemComputer scienceEquivalence (formal languages)StructuringData typeComputer Science::DatabasesFormal description
researchProduct

Geometric and conceptual knowledge representation within a generative model of visual perception

1989

A representation scheme of knowledge at both the geometric and conceptual levels is offered which extends a generative theory of visual perception. According to this theory, the perception process proceeds through different scene representations at various levels of abstraction. The geometric domain is modeled following the CSG (constructive solid geometry) approach, taking advantage of the geometric modelling scheme proposed by A. Pentland, based on superquadrics as representation primitives. Recursive Boolean combinations and deformations are considered in order to enlarge the scope of the representation scheme and to allow for the construction of real-world scenes. In the conceptual doma…

Theoretical computer scienceKnowledge representation and reasoningbusiness.industryMechanical Engineeringmedia_common.quotation_subjectMachine learningcomputer.software_genreIndustrial and Manufacturing EngineeringConstructive solid geometryGenerative modelGeometric designArtificial IntelligenceControl and Systems EngineeringSuperquadricsConceptual modelFrame (artificial intelligence)Artificial intelligenceElectrical and Electronic EngineeringRepresentation (mathematics)businesscomputerSoftwaremedia_commonMathematicsJournal of Intelligent and Robotic Systems
researchProduct

nalysis, Modeling and Simulation of Mechatronic Systems using the Bond Graph Method

2011

The Bond Graph is the proper choice of physical system used for: (i) Modeling which can be applied to systems combining multidisciplinary energy domains, (ii) Analysis to provide a great value proposition for finding the algebraic loops within the system enabling the process of troubleshooting and eliminating the defects by using the proper component(s) to fix the causality conflict even without being acquainted in the proper system, and (iii) Simulation facilitated through derived state space equations from the Bond Graph model is solved using industrial simulation software, such as 20-Sim. The Bond Graph technique is a graphical language of modeling, in which component energy ports are co…

Theoretical computer scienceMomentumComputer sciencePhysical systemDielectric electro active polymers (DEAP)Fourth order electrical systemTroubleshootingTopologycomputer.software_genrelcsh:QA75.5-76.95Modeling and simulationComponent (UML)Bond graphPush actuatorState-space representationProcess (computing)Casual strokeDisplacementEffective strokeComputer Science ApplicationsSimulation software20-Sim toolControl and Systems EngineeringModeling and SimulationEffective forcelcsh:Electronic computers. Computer sciencecomputerBond graphSoftwareModeling, Identification and Control: A Norwegian Research Bulletin
researchProduct

MAD+. Introducing Misconceptions in the Temporal Analysis of the Mathematical Modelling Process of a Fermi Problem

2021

This work describes how the combination of the mistakes committed by a group of pre-service teachers when solving a Fermi problem, with the representation of the temporal analysis of their resolutions, can offer more in-depth information about their conceptual misconceptions regarding mathematical and modelling concepts. The combined representation allows knowing when mistakes occur and provides a powerful tool for instructors to adapt the teaching–learning processes of mathematics at all levels of education. Our study is based on a recent categorisation of students’ mistakes, together with the creation of a new representation tool, called MAD+, that can combine all this information. The ma…

Theoretical computer sciencePublic AdministrationestimationGroup (mathematics)Computer scienceProcess (engineering)Physical Therapy Sports Therapy and RehabilitationContext (language use)Resolution (logic)mathematics educationLMatemàtica EnsenyamentComputer Science ApplicationsEducationsymbols.namesakeFermi problemsDevelopmental and Educational PsychologyComputer Science (miscellaneous)symbolsFermi problemmodelling activity diagramsmathematical modellingRepresentation (mathematics)Education Sciences
researchProduct