English
Related papers

Related papers: Gillian: A Multi-Language Platform for Unified Sym…

200 papers

Although simulation represents a major advance in the understanding of problems in complex systems, the field currently does not has standards in place that would guide the reporting of the data underlying each model, the process for model…

Chaotic Dynamics · Physics 2011-12-26 Elias Carvalho , Luciano Andrade , Ricardo Chaim , Ricardo Pietrobon

This paper presents Deep Integrated Explanations (DIX) - a universal method for explaining vision models. DIX generates explanation maps by integrating information from the intermediate representations of the model, coupled with their…

Computer Vision and Pattern Recognition · Computer Science 2023-10-31 Oren Barkan , Yehonatan Elisha , Jonathan Weill , Yuval Asher , Amit Eshel , Noam Koenigstein

There has been a widespread emergence of computing devices in the past few years that go beyond the capabilities of traditional desktop computers. These devices have varying input/output characteristics, modalities and interaction…

Human-Computer Interaction · Computer Science 2007-05-23 Mir Farooq Ali , Manuel A. Perez-Quinones , Marc Abrams

Research on integrated neural-symbolic systems has made significant progress in the recent past. In particular the understanding of ways to deal with symbolic knowledge within connectionist systems (also called artificial neural networks)…

Artificial Intelligence · Computer Science 2007-05-23 Sebastian Bader , Pascal Hitzler

Meta-analysis is a data aggregation method that establishes an overall and objective level of evidence based on the results of several studies. It is necessary to maintain a high level of homogeneity in the aggregation of data collected…

Generalized Category Discovery (GCD) is a practical and challenging open-world task that aims to recognize both known and novel categories in unlabeled data using limited labeled data from known categories. Due to the lack of supervision,…

Computation and Language · Computer Science 2026-05-06 Henry Peng Zou , Siffi Singh , Yi Nian , Jianfeng He , Jason Cai , Saab Mansour , Hang Su

There is an overwhelmingly large literature and algorithms already available on `large scale inference problems' based on different modeling techniques and cultures. Our primary goal in this paper is \emph{not to add one more new…

Statistics Theory · Mathematics 2017-04-03 Subhadeep Mukhopadhyay

Developing successful sign language recognition, generation, and translation systems requires expertise in a wide range of fields, including computer vision, computer graphics, natural language processing, human-computer interaction,…

The integration of lexical semantics and pragmatics in the analysis of the meaning of natural lan- guage has prompted changes to the global framework derived from Montague. In those works, the original lexicon, in which words were assigned…

Computation and Language · Computer Science 2013-09-05 Bruno Mery , Christian Retoré

This paper proposes a visual analytics framework that addresses the complex user interactions required through a command-line interface to run analyses in distributed data analysis systems. The visual analytics framework facilitates the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-12 Abdullah-Al-Raihan Nayeem , Mohammed Elshambakey , Todd Dobbs , Huikyo Lee , Daniel Crichton , Yimin Zhu , Chanachok Chokwitthaya , William J. Tolone , Isaac Cho

Graph-based Retrieval-Augmented Generation (RAG) has proven effective in integrating external knowledge into large language models (LLMs), improving their factual accuracy, adaptability, interpretability, and trustworthiness. A number of…

Information Retrieval · Computer Science 2026-04-28 Yingli Zhou , Yaodong Su , Youran Sun , Shu Wang , Taotao Wang , Runyuan He , Yongwei Zhang , Sicong Liang , Xilin Liu , Yuchi Ma , Yixiang Fang

Large language models (LLMs) are becoming central to natural language processing education, yet materials showing their mechanics are sparse. We present AnimatedLLM, an interactive web application that provides step-by-step visualizations…

Computation and Language · Computer Science 2026-02-02 Zdeněk Kasner , Ondřej Dušek

This paper introduces SGL, a graphics language that is aesthetically similar to SQL. As a graphical counterpart to SQL, SGL enables specification of statistical graphics within SQL query interfaces. SGL is based on a grammar of graphics…

Programming Languages · Computer Science 2025-12-11 Jon Chapman

This paper presents the rAIson platform, a high-level technological environment for the development of automated, reliable and explainable decision-making agents. The research underlying the platform and its technological progress has now…

Multiagent Systems · Computer Science 2026-05-05 Pavlos Moraitis , Nikolaos Spanoudakis , Antonis Kakas

The integration of tools in augmenting large language models presents a novel approach toward enhancing the efficiency and accuracy of these models in handling specific, complex tasks. This paper delves into the methodology,challenges, and…

Artificial Intelligence · Computer Science 2024-09-30 Zhuocheng Shen

This paper presents Gemini, a functional programming language for hardware description that provides features such as parametric polymorphism, recursive datatypes, higher-order functions, and type inference for higher expressivity compared…

Programming Languages · Computer Science 2019-11-12 Aditya Srinivasan , Andrew D. Hilton

Although many tools have been presented in the research literature of software visualization, there is little evidence of their adoption. To choose a suitable visualization tool, practitioners need to analyze various characteristics of…

Software Engineering · Computer Science 2019-08-13 Leonel Merino , Ekaterina Kozlova , Oscar Nierstrasz , Daniel Weiskopf

Neural-symbolic computing has now become the subject of interest of both academic and industry research laboratories. Graph Neural Networks (GNN) have been widely used in relational and symbolic domains, with widespread application of GNNs…

Artificial Intelligence · Computer Science 2021-06-15 Luis C. Lamb , Artur Garcez , Marco Gori , Marcelo Prates , Pedro Avelar , Moshe Vardi

While instance-level explanation of GNN is a well-studied problem with plenty of approaches being developed, providing a global explanation for the behaviour of a GNN is much less explored, despite its potential in interpretability and…

Machine Learning · Computer Science 2023-04-13 Steve Azzolin , Antonio Longa , Pietro Barbiero , Pietro Liò , Andrea Passerini

With the extensive application of Graph Neural Networks (GNNs) across various domains, their trustworthiness has emerged as a focal point of research. Some existing studies have shown that the integration of large language models (LLMs) can…

Machine Learning · Computer Science 2025-02-13 Ruizhan Xue , Huimin Deng , Fang He , Maojun Wang , Zeyu Zhang