English
Related papers

Related papers: Visualizing miniKanren Search with a Fine-Grained …

200 papers

Data visualization serves as a critical means for presenting data and mining its valuable insights. The task of chart summarization, through natural language processing techniques, facilitates in-depth data analysis of charts. However,…

Computation and Language · Computer Science 2024-04-26 Mengsha Liu , Daoyuan Chen , Yaliang Li , Guian Fang , Ying Shen

Recent advances in Multimodal Large Language Models (MLLMs) have significantly improved performance on tasks such as visual grounding and visual question answering. However, the reasoning processes of these models remain largely opaque;…

Computer Vision and Pattern Recognition · Computer Science 2025-12-05 Haobo Yuan , Yueyi Sun , Yanwei Li , Tao Zhang , Xueqing Deng , Henghui Ding , Lu Qi , Anran Wang , Xiangtai Li , Ming-Hsuan Yang

Task specification for robotic manipulation in open-world environments is challenging, requiring flexible and adaptive objectives that align with human intentions and can evolve through iterative feedback. We introduce Iterative Keypoint…

The vast amounts of data collected in various domains pose great challenges to modern data exploration and analysis. To find "interesting" objects in large databases, users typically define a query using positive and negative example…

Due to the success of deep learning (DL) and its growing job market, students and researchers from many areas are interested in learning about DL technologies. Visualization has proven to be of great help during this learning process. While…

Machine Learning · Computer Science 2022-07-18 Alex Bäuerle , Patrick Albus , Raphael Störk , Tina Seufert , Timo Ropinski

Answering complex visual questions like `Which red furniture can be used for sitting?' requires multi-step reasoning, including object recognition, attribute filtering, and relational understanding. Recent work improves interpretability in…

Computer Vision and Pattern Recognition · Computer Science 2025-05-14 Yu Cheng , Arushi Goel , Hakan Bilen

While recent multimodal models have shown progress in vision-language tasks, small-scale variants still struggle with the fine-grained temporal reasoning required for video understanding. We introduce ReasonAct, a method that enhances video…

Computer Vision and Pattern Recognition · Computer Science 2025-11-27 Jiaxin Liu , Zhaolu Kang

Industrial-scale recommender systems rely on a cascade pipeline in which the retrieval stage must return a high-recall candidate set from billions of items under tight latency. Existing solutions either (i) suffer from limited…

Information Retrieval · Computer Science 2026-04-02 Yijia Sun , Shanshan Huang , Zhiyuan Guan , Qiang Luo , Ruiming Tang , Kun Gai , Guorui Zhou

Large repositories of products, patents and scientific papers offer an opportunity for building systems that scour millions of ideas and help users discover inspirations. However, idea descriptions are typically in the form of unstructured…

Human-Computer Interaction · Computer Science 2022-02-18 Tom Hope , Ronen Tamari , Hyeonsu Kang , Daniel Hershcovich , Joel Chan , Aniket Kittur , Dafna Shahaf

In a regression task, a function is learned from labeled data to predict the labels at new data points. The goal is to achieve small prediction errors. In symbolic regression, the goal is more ambitious, namely, to learn an interpretable…

Machine Learning · Computer Science 2025-06-25 Paul Kahlmeyer , Joachim Giesen , Michael Habeck , Henrik Voigt

The following is a dissertation aimed at understanding what the various phenomena in visual search teach us about the nature of human visual representations and processes. I first review some of the major empirical findings in the study of…

Computer Vision and Pattern Recognition · Computer Science 2023-10-17 Rachel F. Heaton

Concept learning is a form of supervised machine learning that operates on knowledge bases in description logics. State-of-the-art concept learners often rely on an iterative search through a countably infinite concept space. In each…

Machine Learning · Statistics 2026-03-13 Louis Mozart Kamdem Teyou , Caglar Demir , Axel-Cyrille Ngonga Ngomo

Vision Language Models (VLMs) employed for visual question-answering (VQA) in autonomous driving often require substantial computational resources that pose a challenge for their deployment in resource-constrained vehicles. To address this…

Computer Vision and Pattern Recognition · Computer Science 2025-05-22 Hossein Hassani , Soodeh Nikan , Abdallah Shami

This paper presents a new model for visual dialog, Recurrent Dual Attention Network (ReDAN), using multi-step reasoning to answer a series of questions about an image. In each question-answering turn of a dialog, ReDAN infers the answer…

Computer Vision and Pattern Recognition · Computer Science 2019-06-05 Zhe Gan , Yu Cheng , Ahmed El Kholy , Linjie Li , Jingjing Liu , Jianfeng Gao

Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: First, we show optimised functional implementations of clausal and nonclausal…

Logic in Computer Science · Computer Science 2018-05-16 Michael Färber , Cezary Kaliszyk , Josef Urban

Motion planning problems often have many local minima. Those minima are important to visualize to let a user guide, prevent or predict motions. Towards this goal, we develop the motion planning explorer, an algorithm to let users…

Robotics · Computer Science 2019-11-05 Andreas Orthey , Benjamin Frész , Marc Toussaint

In this demo paper, we introduce LogCanvas, a platform for user search history visualisation. Different from the existing visualisation tools, LogCanvas focuses on helping users re-construct the semantic relationship among their search…

Human-Computer Interaction · Computer Science 2018-08-16 Luyan Xu , Zeon Trevor Fernando , Xuan Zhou , Wolfgang Nejdl

Object proposal generation serves as a standard pre-processing step in Vision-Language (VL) tasks (image captioning, visual question answering, etc.). The performance of object proposals generated for VL tasks is currently evaluated across…

Computer Vision and Pattern Recognition · Computer Science 2023-09-04 Joshua Feinglass , Yezhou Yang

We improve the backward compatibility of stableKanren to run miniKanren programs. stableKanren is a miniKanren extension capable of non-monotonic reasoning through stable model semantics. However, standard miniKanren programs that produce…

Programming Languages · Computer Science 2024-08-30 Xiangyu Guo , Ajay Bansal

In web environments, user preferences are often refined progressively as users move from browsing broad categories to exploring specific items. However, existing generative recommenders overlook this natural refinement process. Generative…

Information Retrieval · Computer Science 2025-12-01 Tianxin Wei , Xuying Ning , Xuxing Chen , Ruizhong Qiu , Yupeng Hou , Yan Xie , Shuang Yang , Zhigang Hua , Jingrui He
‹ Prev 1 8 9 10 Next ›