Bibliografias temáticas / Symbolic approaches

Literatura científica selecionada sobre o tema "Symbolic approaches"

Autor: Grafiati

Publicado: 7 de julho de 2024

Última modificação: 7 de julho de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Índice

Artigos de revistas
Teses / dissertações
Livros
Capítulos de livros
Trabalhos de conferências
Relatórios de organizações

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Symbolic approaches".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Symbolic approaches"

Kushnarenko, Olga, e Sophie Pinchinat. "Intensional Approaches for Symbolic Methods". Electronic Notes in Theoretical Computer Science 18 (1998): 112. http://dx.doi.org/10.1016/s1571-0661(05)80253-1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sebastiani, Roberto, Stefano Tonetta e Moshe Y. Vardi. "Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking". International Journal on Software Tools for Technology Transfer 13, n.º 4 (16 de setembro de 2010): 319–35. http://dx.doi.org/10.1007/s10009-010-0168-4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Calegari, Roberta, Giovanni Ciatto e Andrea Omicini. "On the integration of symbolic and sub-symbolic techniques for XAI: A survey". Intelligenza Artificiale 14, n.º 1 (17 de setembro de 2020): 7–32. http://dx.doi.org/10.3233/ia-190036.

Texto completo da fonte

Resumo:

The more intelligent systems based on sub-symbolic techniques pervade our everyday lives, the less human can understand them. This is why symbolic approaches are getting more and more attention in the general effort to make AI interpretable, explainable, and trustable. Understanding the current state of the art of AI techniques integrating symbolic and sub-symbolic approaches is then of paramount importance, nowadays—in particular in the XAI perspective. This is why this paper provides an overview of the main symbolic/sub-symbolic integration techniques, focussing in particular on those targeting explainable AI systems.

Estilos ABNT, Harvard, Vancouver, APA, etc.

UEBERLA, JOERG P., e ARUN JAGOTA. "Integrating Neural and Symbolic Approaches: A Symbolic Learning Scheme for a Connectionist Associative Memory". Connection Science 5, n.º 3-4 (janeiro de 1993): 377–93. http://dx.doi.org/10.1080/09540099308915706.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Rival, Xavier. "Symbolic transfer function-based approaches to certified compilation". ACM SIGPLAN Notices 39, n.º 1 (janeiro de 2004): 1–13. http://dx.doi.org/10.1145/982962.964002.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Wilson, Janelle L. "Negotiating Identity: Symbolic Interactionist Approaches to Social Identity". Contemporary Sociology: A Journal of Reviews 46, n.º 1 (janeiro de 2017): 108–9. http://dx.doi.org/10.1177/0094306116681813tt.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Tofts, C. "Symbolic Approaches to Probability Distributions in Process Algebra". Formal Aspects of Computing 12, n.º 5 (dezembro de 2000): 392–415. http://dx.doi.org/10.1007/pl00013291.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

ROLI, F., S. B. SERPICO e G. VERNAZZA. "IMAGE RECOGNITION BY INTEGRATION OF CONNECTIONIST AND SYMBOLIC APPROACHES". International Journal of Pattern Recognition and Artificial Intelligence 09, n.º 03 (junho de 1995): 485–515. http://dx.doi.org/10.1142/s0218001495000493.

Texto completo da fonte

Resumo:

This paper presents a methodology for integrating connectionist and symbolic approaches to 2D image recognition. The proposed integration paradigm exploits the synergy of the two approaches for both the training and the recognition phases of an image recognition system. In the training phase, a symbolic module provides an approximate solution to a given image-recognition problem in terms of symbolic models. Such models are hierarchically organized into different abstraction levels, and include contextual descriptions. After mapping such models into a complex neural architecture, a neural training process is carried out to optimize the solution of the recognition problem. The so-obtained neural networks are used during the recognition phase for pattern classification. In this phase, the role of symbolic modules consists of managing complex aspects of information processing: abstraction levels, contextual information, and global recognition hypotheses. A hybrid system implementing the proposed integration paradigm is presented, and its advantages over single approaches are assessed. Results on Magnetic Resonance image recognition are reported, and comparisons with some well-known classifiers are made.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Amado, Leonardo, Ramon Fraga Pereira e Felipe Meneguzzi. "Robust Neuro-Symbolic Goal and Plan Recognition". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 10 (26 de junho de 2023): 11937–44. http://dx.doi.org/10.1609/aaai.v37i10.26408.

Texto completo da fonte

Resumo:

Goal Recognition is the task of discerning the intended goal of an agent given a sequence of observations, whereas Plan Recognition consists of identifying the plan to achieve such intended goal. Regardless of the underlying techniques, most recognition approaches are directly affected by the quality of the available observations. In this paper, we develop neuro-symbolic recognition approaches that can combine learning and planning techniques, compensating for noise and missing observations using prior data. We evaluate our approaches in standard human-designed planning domains as well as domain models automatically learned from real-world data. Empirical experimentation shows that our approaches reliably infer goals and compute correct plans in the experimental datasets. An ablation study shows that outperform approaches that rely exclusively on the domain model, or exclusively on machine learning in problems with both noisy observations and low observability.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Brkić, Dejan, Pavel Praks, Renáta Praksová e Tomáš Kozubek. "Symbolic Regression Approaches for the Direct Calculation of Pipe Diameter". Axioms 12, n.º 9 (31 de agosto de 2023): 850. http://dx.doi.org/10.3390/axioms12090850.

Texto completo da fonte

Resumo:

This study provides novel and accurate symbolic regression-based solutions for the calculation of pipe diameter when flow rate and pressure drop (head loss) are known, together with the length of the pipe, absolute inner roughness of the pipe, and kinematic viscosity of the fluid. PySR and Eureqa, free and open-source symbolic regression tools, are used for discovering simple and accurate approximate formulas. Three approaches are used: (1) brute force of computing power, which provides results based on raw input data; (2) an improved method where input parameters are transformed through the Lambert W-function; (3) a method where the results are based on inputs and the Colebrook equation transformed through new suitable dimensionless groups. The discovered models were simplified by the WolframAlpha simplify tool and/or the equivalent Matlab Symbolic toolbox. Novel models make iterative calculus redundant; they are simple for computer coding while the relative error remains lower compared with the solution through nomograms. The symbolic-regression solutions discovered by brute force computing power discard the kinematic viscosity of the fluid as an input parameter, implying that it has the least influence.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Teses / dissertações sobre o assunto "Symbolic approaches"

Galassi, Andrea. "Symbolic versus sub-symbolic approaches: a case study on training Deep Networks to play Nine Men’s Morris game". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/12859/.

Texto completo da fonte

Resumo:

Le reti neurali artificiali, grazie alle nuove tecniche di Deep Learning, hanno completamente rivoluzionato il panorama tecnologico degli ultimi anni, dimostrandosi efficaci in svariati compiti di Intelligenza Artificiale e ambiti affini. Sarebbe quindi interessante analizzare in che modo e in quale misura le deep network possano sostituire le IA simboliche. Dopo gli impressionanti risultati ottenuti nel gioco del Go, come caso di studio è stato scelto il gioco del Mulino, un gioco da tavolo largamente diffuso e ampiamente studiato. È stato quindi creato il sistema completamente sub-simbolico Neural Nine Men’s Morris, che sfrutta tre reti neurali per scegliere la mossa migliore. Le reti sono state addestrate su un dataset di più di 1.500.000 coppie (stato del gioco, mossa migliore), creato in base alle scelte di una IA simbolica. Il sistema ha dimostrato di aver imparato le regole del gioco proponendo una mossa valida in più del 99% dei casi di test. Inoltre ha raggiunto un’accuratezza del 39% rispetto al dataset e ha sviluppato una propria strategia di gioco diversa da quella della IA addestratrice, dimostrandosi un giocatore peggiore o migliore a seconda dell’avversario. I risultati ottenuti in questo caso di studio mostrano che, in questo contesto, la chiave del successo nella progettazione di sistemi AI allo stato dell’arte sembra essere un buon bilanciamento tra tecniche simboliche e sub-simboliche, dando più rilevanza a queste ultime, con lo scopo di raggiungere la perfetta integrazione di queste tecnologie.

Estilos ABNT, Harvard, Vancouver, APA, etc.

BADAOUI, RAOUL. "APPROACHES FOR PARASITIC-INCLUSIVE SYMBOLIC CIRCUIT REPRESENTATION AND EXTRACTION FOR SYNTHESIS". University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1132193275.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Hamilton, Roy. "A comparison of two approaches of symbolic modeling and self-efficacy /". Terre-Haute (IND) : Dissertation . Com, 1999. http://www.dissertation.com/library/1120745a.htm.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Askar, Sameh El Said Abdel Aziz. "Symbolic approaches and artificial intelligence algorithms for solving multi-objective optimisation problems". Thesis, Cranfield University, 2011. http://dspace.lib.cranfield.ac.uk/handle/1826/5557.

Texto completo da fonte

Resumo:

Problems that have more than one objective function are of great importance in engineering sciences and many other disciplines. This class of problems are known as multi-objective optimisation problems (or multicriteria). The difficulty here lies in the conflict between the various objective functions. Due to this conflict, one cannot find a single ideal solution which simultaneously satisfies all the objectives. But instead one can find the set of Pareto-optimal solutions (Pareto-optimal set) and consequently the Pareto-optimal front is established. Finding these solutions plays an important role in multi-objective optimisation problems and mathematically the problem is considered to be solved when the Pareto-optimal set, i.e. the set of all compromise solutions is found. The Pareto-optimal set may contain information that can help the designer make a decision and thus arrive at better trade-off solutions. The aim of this research is to develop new multi-objective optimisation symbolic algorithms capable of detecting relationship(s) among decision variables that can be used for constructing the analytical formula of Pareto-optimal front based on the extension of the current optimality conditions. A literature survey of theoretical and evolutionary computation techniques for handling multiple objectives, constraints and variable interaction highlights a lack of techniques to handle variable interaction. This research, therefore, focuses on the development of techniques for detecting the relationships between the decision variables (variable interaction) in the presence of multiple objectives and constraints. It attempts to fill the gap in this research by formally extending the theoretical results (optimality conditions). The research then proposes first-order multi-objective symbolic algorithm or MOSA-I and second-order multi-objective symbolic algorithm or MOSA-II that are capable of detecting the variable interaction. The performance of these algorithms is analysed and compared to a current state-of-the-art optimisation algorithm using popular test problems. The performance of the MOSA-II algorithm is finally validated using three appropriately chosen problems from literature. In this way, this research proposes a fully tested and validated methodology for dealing with multi-objective optimisation problems. In conclusion, this research proposes two new symbolic algorithms that are used for identifying the variable interaction responsible for constructing Pareto-optimal front among objectives in multi-objective optimisation problems. This is completed based on a development and relaxation of the first and second-order optimality conditions of Karush-Kuhn-Tucker.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Combettes, Sylvain. "Symbolic representations of time series". Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASM002.

Texto completo da fonte

Resumo:

Les objectifs de cette thèse sont de définir de nouvelles représentations symboliques et des mesures de distance adaptées aux séries temporelles pouvant être multivariées et non-stationnaires. De plus, elles doivent préserver l'information temporelle, être interprétables et rapides à calculer. Nous passons en revue les représentations symboliques de séries temporelles, ainsi que les mesures de distance sur séries temporelles, chaînes de caractères et séquences symboliques (qui résultent d'un processus de symbolisation).Nous proposons deux contributions: ASTRIDE pour un ensemble de séries temporelles univariées, et d_{symb} pour un ensemble de séries temporelles multivariées. Nous avons également développé le d_{symb} playground, un outil interactif en ligne permettant aux utilisateurs d'appliquer d_{symb} à leurs données téléversées. ASTRIDE et d_{symb} sont pilotées par les données, car elles utilisent la détection de ruptures pour l'étape de segmentation, puis des quantiles ou un partitionnement par les K-moyennes pour l'étape de quantification. Enfin, elles appliquent la distance d'édition générale avec des coûts personnalisés entre les séquences symboliques obtenues.Nous montrons les performances d'ASTRIDE, comparé à 4 autres représentations symboliques, sur des tâches de reconstruction, et lorsque cela s'applique, sur des tâches de classification. Pour d_{symb}, les expériences montrent à quel point la symbolisation est interprétable. De plus, comparée à 9 distances élastiques sur une tâche de partitionnement, d_{symb} atteint des performances compétitives tout en étant plusieurs ordres de grandeur plus rapide
The objectives of this thesis are to define novel symbolic representations and distance measures that are suited for time series that can be multivariate and non-stationary. In addition, they should preserve the time information, be interpretable, and fast to compute. We review symbolic representations of time series (that transform a real-valued series into a shorter discrete-valued series), as well as distance measures on time series, strings, and symbolic sequences (that result from a symbolization process).We propose two contributions: ASTRIDE for a data set of univariate time series, and d_{symb} for a data set of multivariate time series. We also developed the d_{symb} playground, an online interactive tool that allows users to apply d_{symb} to their uploaded data. ASTRIDE and d_{symb} are data-driven as they use change-point detection for the segmentation step, then either quantiles or a K-means clustering algorithm for the quantization step. Finally, they apply the general edit distance with custom costs between the resulting symbolic sequences.We show the performance of ASTRIDE compared to 4 other symbolic representations on reconstruction and, when applicable, on classification tasks. For d_{symb}, experiments show how interpretable the symbolization is. Moreover, compared to 9 elastic distances on a clustering task, d_{symb} achieves a competitive performance while being several orders of magnitude faster

Estilos ABNT, Harvard, Vancouver, APA, etc.

Poria, Soujanya. "Novel symbolic and machine-learning approaches for text-based and multimodal sentiment analysis". Thesis, University of Stirling, 2017. http://hdl.handle.net/1893/25396.

Texto completo da fonte

Resumo:

Emotions and sentiments play a crucial role in our everyday lives. They aid decision-making, learning, communication, and situation awareness in human-centric environments. Over the past two decades, researchers in artificial intelligence have been attempting to endow machines with cognitive capabilities to recognize, infer, interpret and express emotions and sentiments. All such efforts can be attributed to affective computing, an interdisciplinary field spanning computer science, psychology, social sciences and cognitive science. Sentiment analysis and emotion recognition has also become a new trend in social media, avidly helping users understand opinions being expressed on different platforms in the web. In this thesis, we focus on developing novel methods for text-based sentiment analysis. As an application of the developed methods, we employ them to improve multimodal polarity detection and emotion recognition. Specifically, we develop innovative text and visual-based sentiment-analysis engines and use them to improve the performance of multimodal sentiment analysis. We begin by discussing challenges involved in both text-based and multimodal sentiment analysis. Next, we present a number of novel techniques to address these challenges. In particular, in the context of concept-based sentiment analysis, a paradigm gaining increasing interest recently, it is important to identify concepts in text; accordingly, we design a syntaxbased concept-extraction engine. We then exploit the extracted concepts to develop conceptbased affective vector space which we term, EmoSenticSpace. We then use this for deep learning-based sentiment analysis, in combination with our novel linguistic pattern-based affective reasoning method termed sentiment flow. Finally, we integrate all our text-based techniques and combine them with a novel deep learning-based visual feature extractor for multimodal sentiment analysis and emotion recognition. Comparative experimental results using a range of benchmark datasets have demonstrated the effectiveness of the proposed approach.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Iori, Tomoyuki. "Symbolic-Numeric Approaches Based on Theories of Abstract Algebra to Control, Estimation, and Optimization". Doctoral thesis, Kyoto University, 2021. http://hdl.handle.net/2433/263785.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Burkitt, Ian. "The sociological problem of personality formation : with special reference to symbolic interactionist, Marxist and figurational approaches". Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235695.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sandström, Johan. "Organizational approaches to greening : technocentrism and beyond". Doctoral thesis, Umeå universitet, Företagsekonomi, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-65798.

Texto completo da fonte

Resumo:

How and why do organizations approach greening? How can we conceptualize approaches and how can we encourage reflexive dialogues on them? These are the main questions addressed in this qualitative study on organizational greening. The study sets off by discussing matters of research philosophy, arguing that our trust in science ought to be revised and that a more postmodern and constructionist philosophy might be a way to go. This is then followed by a theoretical review, showing that organizational studies have a history in environmental issues, but that it is basically technocentric in orientation. A more reflexive organizational approach is suggested. The empirical part of the study is based on qualitative research of five case studies, representing a mix of organizations situated in Sweden, all with an explicit ambition to approach greening. The analyses target the organizations' approaches from practice to assumptions, pointing at the commonalities as well as the tensions. Basically, greening was an issue for all studied organizations, but an increasing pressure to market-orient their operations in line with the business rhetoric dominated their identity construction. The environment was included if there were opportunities of win-win situations between environment and economy in sight. Once embarked upon, the organizations tended to focus on technocratic practices, developing or implementing management systems, product development indexes, life-cycle methodologies and other tools. On a more philosophical level, in the study referred to as the worldview level, the approaches were predominandy characterized by a representative epistemology and a dualistic ontology, that is, they were clearly anthropocentric. With a base in these findings, an alternative approach is discussed as a way out, or as a way of constructing a reflexive dialogue on greening. This is partly based on the tensions within and between the cases, which encouraged reflections on how greening was approached. In the alternative, organizations are seen as actors on a symbolic agora where transparency, participation and self-reflexivity are keys to organizational legitimacy. This view frames organizations in the dominating approach as agoraphobic producers of materialistically dependent satisfiers. The alternative also targets the limits of a preference and materialistically oriented view on die satisfaction of human needs. Instead, it is argued that environmental and cultural sensitivity should be acknowledged as natural parts of organizational greening. This, however, demands more room for reflexive dialogues encouraging ontological awareness and a respect for more ecocentric views.
digitalisering@umu

Estilos ABNT, Harvard, Vancouver, APA, etc.

David, Robin. "Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes". Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0013/document.

Texto completo da fonte

Resumo:

L’analyse de codes malveillants est un domaine de recherche en pleine expansion de par la criticité des infrastructures touchées et les coûts impliqués de plus en plus élevés. Ces logiciels utilisent fréquemment différentes techniques d’évasion visant à limiter la détection et ralentir les analyses. Parmi celles-ci, l’obfuscation permet de cacher le comportement réel d’un programme. Cette thèse étudie l’utilité de l’Exécution Symbolique Dynamique (DSE) pour la rétro-ingénierie. Tout d’abord, nous proposons deux variantes du DSE plus adaptées aux codes protégés. La première est une redéfinition générique de la phase de calcul de prédicat de chemin basée sur une manipulation flexible des concrétisations et symbolisations tandis que la deuxième se base sur un algorithme d’exécution symbolique arrière borné. Ensuite, nous proposons différentes combinaisons avec d’autres techniques d’analyse statique afin de tirer le meilleur profit de ces algorithmes. Enfin tous ces algorithmes ont été implémentés dans différents outils, Binsec/se, Pinsec et Idasec, puis testés sur différents codes malveillants et packers. Ils ont permis de détecter et contourner avec succès les obfuscations ciblées dans des cas d’utilisations réels tel que X-Tunnel du groupe APT28/Sednit
Malware analysis is a growing research field due to the criticity and variety of assets targeted as well as the increasing implied costs. These softwares frequently use evasion tricks aiming at hindering detection and analysis techniques. Among these, obfuscation intent to hide the program behavior. This thesis studies the potential of Dynamic Symbolic Execution (DSE) for reverse-engineering. First, we propose two variants of DSE algorithms adapted and designed to fit on protected codes. The first is a flexible definition of the DSE path predicate computation based on concretization and symbolization. The second is based on the definition of a backward-bounded symbolic execution algorithm. Then, we show how to combine these techniques with static analysis in order to get the best of them. Finally, these algorithms have been implemented in different tools Binsec/se, Pinsec and Idasec interacting alltogether and tested on several malicious codes and commercial packers. Especially, they have been successfully used to circumvent and remove the obfuscation targeted in real-world malwares like X-Tunnel from the famous APT28/Sednit group

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Livros sobre o assunto "Symbolic approaches"

Kruse, Rudolf, e Pierre Siegel, eds. Symbolic and Quantitative Approaches to Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54659-6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Vejnarová, Jiřina, e Nic Wilson, eds. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86772-0.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Liu, Weiru, ed. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22152-1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Froidevaux, Christine, e Jürg Kohlas, eds. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60112-0.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sossai, Claudio, e Gaetano Chemello, eds. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02906-6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Destercke, Sébastien, e Thierry Denoeux, eds. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20807-7.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Antonucci, Alessandro, Laurence Cholvy e Odile Papini, eds. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61581-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Benferhat, Salem, e Philippe Besnard, eds. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44652-4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Clarke, Michael, Rudolf Kruse e Serafín Moral, eds. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0028174.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

van der Gaag, Linda C., ed. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39091-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Capítulos de livros sobre o assunto "Symbolic approaches"

Muir, Richard. "Symbolic Landscapes". In Approaches to Landscape, 212–43. London: Macmillan Education UK, 1999. http://dx.doi.org/10.1007/978-1-349-27243-3_7.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mooij, Antoine. "The symbolic father". In Approaches to Discourse, Poetics and Psychiatry, 215. Amsterdam: John Benjamins Publishing Company, 1988. http://dx.doi.org/10.1075/ct.4.17moo.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

López, Natalia, Manuel Núñez e Ismael Rodríguez. "Testing of Symbolic-Probabilistic Systems". In Formal Approaches to Software Testing, 49–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31848-4_4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Gettler-Summa, Mireille, e Catherine Pardoux. "Symbolic Approaches for Three-way Data". In Analysis of Symbolic Data, 342–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57155-8_12.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Vanoverberghe, Dries, e Frank Piessens. "Theoretical Aspects of Compositional Symbolic Execution". In Fundamental Approaches to Software Engineering, 247–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19811-3_18.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Schneider, Sven, Leen Lambers e Fernando Orejas. "Symbolic Model Generation for Graph Properties". In Fundamental Approaches to Software Engineering, 226–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54494-5_13.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Pham, Van-Thuan, Sakaar Khurana, Subhajit Roy e Abhik Roychoudhury. "Bucketing Failing Tests via Symbolic Analysis". In Fundamental Approaches to Software Engineering, 43–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54494-5_3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Frantzen, Lars, Jan Tretmans e Tim A. C. Willemse. "Test Generation Based on Symbolic Specifications". In Formal Approaches to Software Testing, 1–15. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31848-4_1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Misonizhnik, Aleksandr, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov e Dmitry Ivanov. "KLEEF: Symbolic Execution Engine (Competition Contribution)". In Fundamental Approaches to Software Engineering, 314–19. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_18.

Texto completo da fonte

Resumo:

AbstractKLEEF is a complete overhaul of the KLEE symbolic execution engine for LLVM, fine-tuned for a robust analysis of industrial C/C++ code. KLEEF natively handles complex data structures, such as trees, linked lists, and dynamically allocated arrays, via lazy initialization and symcrete values. KLEEF has fine-tuned modes for both maximal test coverage generation and reproducing error traces, in particular reaching a specific point in the program. In the paper, we describe the above features and a competition configuration of KLEEF.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Zhang, Guofeng, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen e Ji Wang. "FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)". In Fundamental Approaches to Software Engineering, 304–8. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_16.

Texto completo da fonte

Resumo:

Abstract serves as an automatic test generation tool designed for C programs based on symbolic execution. employs fuzzing-based pre-analysis and combines static symbolic execution and dynamic symbolic execution to improve the effectiveness of test generation. achieves 5132 scores and is ranked 4th in the branch coverage track of Test-Comp 2024.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Symbolic approaches"

Yakovlev, A. I., e N. I. Neobutova. "ART OBJECTS IN THE SYMBOLIC LANDSCAPE OF YAKUTSK". In Культура, наука, образование: проблемы и перспективы. Нижневартовский государственный университет, 2021. http://dx.doi.org/10.36906/ksp-2021/35.

Texto completo da fonte

Resumo:

The work revealed the chronology of development of symbolic landscapes in the form of monuments, art objects and other. The purpose of the article is to analyze the meaning of symbols and form the answer to the question “How does the symbolic cultural landscape affect the public consciousness, the education of society?”. The object of the study is the city of Yakutsk, Republic of Sakha (Yakutia). The subject of research - monuments, art objects. The relevance of this article is due to the fact that each stage as a whole unites other symbolic landscapes under one symbol. Research methodology is based on the analysis of basic semiotic approaches, in particular the study of monuments as the formation of collective memory.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Dumancic, Sebastijan, Alberto Garcia-Duran e Mathias Niepert. "A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning". In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/843.

Texto completo da fonte

Resumo:

Many real-world domains can be expressed as graphs and, more generally, as multi-relational knowledge graphs. Though reasoning and learning with knowledge graphs has traditionally been addressed by symbolic approaches such as Statistical relational learning, recent methods in (deep) representation learning have shown promising results for specialised tasks such as knowledge base completion. These approaches, also known as distributional, abandon the traditional symbolic paradigm by replacing symbols with vectors in Euclidean space. With few exceptions, symbolic and distributional approaches are explored in different communities and little is known about their respective strengths and weaknesses. In this work, we compare distributional and symbolic relational learning approaches on various standard relational classification and knowledge base completion tasks. Furthermore, we analyse the properties of the datasets and relate them to the performance of the methods in the comparison. The results reveal possible indicators that could help in choosing one approach over the other for particular knowledge graphs.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Umili, Elena, Roberto Capobianco e Giuseppe De Giacomo. "Grounding LTLf Specifications in Image Sequences". In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/65.

Texto completo da fonte

Resumo:

A critical challenge in neuro-symbolic (NeSy) approaches is to handle the symbol grounding problem without direct supervision. That is mapping high-dimensional raw data into an interpretation over a finite set of abstract concepts with a known meaning, without using labels. In this work, we ground symbols into sequences of images by exploiting symbolic logical knowledge in the form of Linear Temporal Logic over finite traces (LTLf) formulas, and sequence-level labels expressing if a sequence of images is compliant or not with the given formula. Our approach is based on translating the LTLf formula into an equivalent deterministic finite automaton (DFA) and interpreting the latter in fuzzy logic. Experiments show that our system outperforms recurrent neural networks in sequence classification and can reach high image classification accuracy without being trained with any single-image label.

Estilos ABNT, Harvard, Vancouver, APA, etc.

James, Steven. "Learning Portable Symbolic Representations". In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/826.

Texto completo da fonte

Resumo:

An open question in artificial intelligence is how to learn useful representations of the real world. One approach is to learn symbols, which represent the world and its contents, as well as models describing the effects on these symbols when interacting with the world. To date, however, research has investigated learning such representations for a single specific task. Our research focuses on approaches to learning these models in a domain-independent manner. We intend to use these symbolic models to build even higher levels of abstraction, creating a hierarchical representation which could be used to solve complex tasks. This would allow an agent to gather knowledge over the course of its lifetime, which could then be leveraged when faced with a new task, obviating the need to relearn a model every time a new unseen problem is encountered.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Malcoci, Vitalie. "Semantic approaches of rural architectural decor from the south of Moldova". In Simpozion internațional de etnologie: Tradiții și procese etnice, Ediția III. Institute of Cultural Heritage, Republic of Moldova, 2023. http://dx.doi.org/10.52603/9789975841733.10.

Texto completo da fonte

Resumo:

Traditional artistic creation, manifested through customs, traditions, folklore, is the basic substratum of the knowledge about a civilisation and its culture. Th roughout the entire process of its constitution, the Romanian people produced a huge substratum of archaeological cultures and mythic-folkloric structures that constitute the essence of folk creation. Folk architecture is one of the most impressive material forms from the past of any civilization. Evolving over time, it shaped some of the traditions and practices in peasant constructions, in the evolution of architectural forms, and the development of ornament and architectural decoration. Th e issue addressed refers to the plastic language of universal motifs, which are deeply rooted in Romanian culture and which contain messages encoded in a string of symbolic connotations. It involves deciphering the message and interpreting the symbolic meaning of the Tree of Life, some aspects of the solar cult, symbols as images of the world and of the universe, and the multiple representations that are part of the animal iconography repertoire.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Rival, Xavier. "Symbolic transfer function-based approaches to certified compilation". In the 31st ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/964001.964002.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Chaudhury, Subhajit, Prithviraj Sen, Masaki Ono, Daiki Kimura, Michiaki Tatsubori e Asim Munawar. "Neuro-Symbolic Approaches for Text-Based Policy Learning". In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, 2021. http://dx.doi.org/10.18653/v1/2021.emnlp-main.245.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Dong, Hanzhang. "Analyzing the symbolic significance of Angelopoulos’ films from the perspective of semiotics". In Intelligent Human Systems Integration (IHSI 2024) Integrating People and Intelligent Systems. AHFE International, 2024. http://dx.doi.org/10.54941/ahfe1004522.

Texto completo da fonte

Resumo:

Symbolic communication is an interdisciplinary field that investigates the meaning and function of symbols in the communication process. Within the framework of symbolic communication studies, symbols are seen as tools individuals employ to convey meanings and values. As a crucial cultural artifact and visual medium, film combines various symbolic elements—including imagery, sound, and plot—to create a distinctive and intricate symbolic system, thus conveying specific meanings through symbol construction. In the films of Angelopoulos, the allure of “symbolic symbolism” is reflected through flowing long shots, captivating mise-en-scène, the manipulation of time, layered spaces with poetic overlays, a blank film reel, the emergence of a giant sculpture hand from the sea, thundering trains, alienating narrative structures, obscure metaphorical symbols, and unique poetic aesthetics. These key elements encompass the crux of deciphering Angelopoulos’ films. The analysis of symbolic symbolism in Angelopoulos’ films can be approached from different perspectives.Firstly, one can utilize the basic model of symbolic communication as a framework for research. This model encompasses six elements that constitute any communicative event. These consist the elements of the speaker and listener, who are the primary participants in symbolic communication. The element of information represents the content conveyed through symbols. Code elements give form to information. In the process of communication, not only the information itself is needed, but also contact elements are needed. Contact media can take various forms. Additionally, both speaker and listener must share a context within which the transmitted information can be comprehended. In the context of Angelopoulos’ films, the films themselves function as the “speaker,” while the audience assumes the role of the “listener”. Furthermore, the specific film products and services constitute the information being communicated, embodying the purpose and communication needs. Contact pertains to the media and settings employed in film communication, while codes encompass the symbolic forms of film, such as words, sounds, images, and colors. Symbolic communication in film is additionally influenced by cultural, social, and historical backgrounds, which may cause symbols to assume differing meanings and interpretations within contexts and for distinct cultural audiences. Secondly, Bakhtin’s theory of symbols suggests that symbolic cognition involves a process of decoding, which comprises four cognitive stages: symbol perception, conceptual cognition, contextual cognition, and dynamic dialogue. By analyzing the narrative structure employed in Angelopoulos’ films, one can construct a word cloud of pertinent cognition through semi-structured interviews and literature research. This approach yields a discussion of the specific visual, tactile, auditory, gustatory, and other symbolic symbolism techniques utilized within the functional spectrum of each narrative stage.In conclusion, the creation of symbolic meaning in Angelopoulos’ films, when viewed through the lens of symbolic communication, represents a multifaceted and diverse process. It encompasses the polysemy, combination, and organization of symbolic elements, alongside the influence of cultural, social, and historical backgrounds. An in-depth exploration of the construction of symbolic meaning in films enables a profound comprehension of the symbolic symbolism employed by Angelopoulos and the consequential impact and significance on the audience.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mishna, Marni. "Algorithmic Approaches for Lattice Path Combinatorics". In ISSAC '17: International Symposium on Symbolic and Algebraic Computation. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3087604.3087664.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Aspis, Yaniv, Krysia Broda, Jorge Lobo e Alessandra Russo. "Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings". In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/44.

Texto completo da fonte

Resumo:

Neuro-symbolic reasoning approaches proposed in recent years combine a neural perception component with a symbolic reasoning component to solve a downstream task. By doing so, these approaches can provide neural networks with symbolic reasoning capabilities, improve their interpretability and enable generalization beyond the training task. However, this often comes at the cost of poor training time, with potential scalability issues. In this paper, we propose a scalable neuro-symbolic approach, called Embed2Sym. We complement a two-stage (perception and reasoning) neural network architecture designed to solve a downstream task end-to-end with a symbolic optimisation method for extracting learned latent concepts. Specifically, the trained perception network generates clusters in embedding space that are identified and labelled using symbolic knowledge and a symbolic solver. With the latent concepts identified, a neuro-symbolic model is constructed by combining the perception network with the symbolic knowledge of the downstream task, resulting in a model that is interpretable and transferable. Our evaluation shows that Embed2Sym outperforms state-of-the-art neuro-symbolic systems on benchmark tasks in terms of training time by several orders of magnitude while providing similar if not better accuracy.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Relatórios de organizações sobre o assunto "Symbolic approaches"

Seshia, Sanjit A., e Randal E. Bryant. A Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata. Fort Belvoir, VA: Defense Technical Information Center, março de 2003. http://dx.doi.org/10.21236/ada460035.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Tang, Zibin. A new design approach for numeric-to-symbolic conversion using neural networks. Portland State University Library, janeiro de 2000. http://dx.doi.org/10.15760/etd.6126.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Ross, Kassandra, e Young-A. Lee. Social Media Era Consumers' Identity Formation: A Symbolic Interactionist Approach to Consumer-Brand Identity Co-creation. Ames (Iowa): Iowa State University. Library, janeiro de 2019. http://dx.doi.org/10.31274/itaa.8790.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Decleir, Cyril, Mohand-Saïd Hacid e Jacques Kouloumdjian. A Database Approach for Modeling and Querying Video Data. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.90.

Texto completo da fonte

Resumo:

Indexing video data is essential for providing content based access. In this paper, we consider how database technology can offer an integrated framework for modeling and querying video data. As many concerns in video (e.g., modeling and querying) are also found in databases, databases provide an interesting angle to attack many of the problems. From a video applications perspective, database systems provide a nice basis for future video systems. More generally, database research will provide solutions to many video issues even if these are partial or fragmented. From a database perspective, video applications provide beautiful challenges. Next generation database systems will need to provide support for multimedia data (e.g., image, video, audio). These data types require new techniques for their management (i.e., storing, modeling, querying, etc.). Hence new solutions are significant. This paper develops a data model and a rule-based query language for video content based indexing and retrieval. The data model is designed around the object and constraint paradigms. A video sequence is split into a set of fragments. Each fragment can be analyzed to extract the information (symbolic descriptions) of interest that can be put into a database. This database can then be searched to find information of interest. Two types of information are considered: (1) the entities (objects) of interest in the domain of a video sequence, (2) video frames which contain these entities. To represent these information, our data model allows facts as well as objects and constraints. We present a declarative, rule-based, constraint query language that can be used to infer relationships about information represented in the model. The language has a clear declarative and operational semantics. This work is a major revision and a consolidation of [12, 13].

Estilos ABNT, Harvard, Vancouver, APA, etc.

Pédarros, Élie, Jeremy Allouche, Matiwos Bekele Oma, Priscilla Duboz, Amadou Hamath Diallo, Habtemariam Kassa, Chloé Laloi et al. The Great Green Wall as a Social-Technical Imaginary. Institute of Development Studies, abril de 2024. http://dx.doi.org/10.19088/ids.2024.017.

Texto completo da fonte

Resumo:

The Great Green Wall for the Sahara and the Sahel Initiative (GGWI), launched in 2007 by the African Union, is one of Africa’s most important green transformation projects. From a pan-African environmental movement to a mosaic of locally managed projects to its considerable funding from the international community, the GGWI is now seen as a ‘megaproject’. While this megaproject has been primarily studied along the lines of political ecology and critical development studies, both showing the material limits and effectiveness of the initiative, its impact on the ground remains important in that the Sahelian landscape is shaped by donor and development actors’ discourses and imaginaries. The conceptual debates around the notion of ‘future’ thus make it possible to capture and facilitate the emergence of endogenous practices and environmental knowledge which involve the population, their history, and their culture using specific methods. By implementing the relationship formulated by Jacques Lacan between symbolic, reality and imaginary, this project will make it possible to approach the GGWI project as a social-technical imaginary while considering the complex social-ecological processes that this project involves.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina e Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], julho de 2020. http://dx.doi.org/10.31812/123456789/3864.

Texto completo da fonte

Resumo:

The article deals with the technology of visualizing fictional text (poetry) with the help of emoji symbols in the Emoji Maker platform that not only activates students’ thinking, but also develops creative attention, makes it possible to reproduce the meaning of poetry in a succinct way. The application of this technology has yielded the significance of introducing a computer being emoji in the study and mastering of literature is absolutely logical: an emoji, phenomenologically, logically and eidologically installed in the digital continuum, is separated from the natural language provided by (ethno)logy, and is implicitly embedded into (cosmo)logy. The technology application object is the text of the twentieth century Cuban poet José Ángel Buesa. The choice of poetry was dictated by the appeal to the most important function of emoji – the expression of feelings, emotions, and mood. It has been discovered that sensuality can reconstructed with the help of this type of meta-linguistic digital continuum. It is noted that during the emoji design in the Emoji Maker program, due to the technical limitations of the platform, it is possible to phenomenologize one’s own essential-empirical reconstruction of the lyrical image. Creating the image of the lyrical protagonist sign, it was sensible to apply knowledge in linguistics, philosophy of language, psychology, psycholinguistics, literary criticism. By constructing the sign, a special emphasis was placed on the facial emogram, which also plays an essential role in the transmission of a wide range of emotions, moods, feelings of the lyrical protagonist. Consequently, the Emoji Maker digital platform allowed to create a new model of digital presentation of fiction, especially considering the psychophysiological characteristics of the lyrical protagonist. Thus, the interpreting reader, using a specific digital toolkit – a visual iconic sign (smile) – reproduces the polylaterial metalinguistic multimodality of the sign meaning in fiction. The effectiveness of this approach is verified by the poly-functional emoji ousia, tested on texts of fiction.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!