English
Related papers

Related papers: CLX: Towards verifiable PBE data transformation

200 papers

Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by switching statically configurable options (features) on and…

Programming Languages · Computer Science 2017-02-01 Alexandru Florin Iosif-Lazar , Jean Melo , Aleksandar S. Dimovski , Claus Brabrand , Andrzej Wasowski

In recent years, compositional symbolic execution (CSE) tools have been growing in prominence and are becoming more and more applicable to real-world codebases. Still to this day, however, debugging the output of these tools remains…

Programming Languages · Computer Science 2026-02-10 Nat Karmios , Sacha-Élie Ayoun , Philippa Gardner

Compute Express Link (CXL) switch allows memory extension via PCIe physical layer to address increasing demand for larger memory capacities in data centers. However, CXL attached memory introduces 170ns to 400ns memory latency. This becomes…

Hardware Architecture · Computer Science 2025-03-14 Khan Shaikhul Hadi , Naveed Ul Mustafa , Mark Heinrich , Yan Solihin

With the advent of deep learning, text generation language models have improved dramatically, with text at a similar level as human-written text. This can lead to rampant misinformation because content can now be created cheaply and…

Computation and Language · Computer Science 2023-01-24 Sai Gurrapu , Lifu Huang , Feras A. Batarseh

We investigate the success conditions for compositional generalization of CLIP models on real-world data through performance prediction. Prior work shows that CLIP requires exponentially more pretraining data for linear performance gains on…

Machine Learning · Computer Science 2025-02-26 Thaddäus Wiedemer , Yash Sharma , Ameya Prabhu , Matthias Bethge , Wieland Brendel

World Wide Web is a huge repository of information and there is a tremendous increase in the volume of information daily. The number of users are also increasing day by day. To reduce users browsing time lot of research is taken place. Web…

Information Retrieval · Computer Science 2014-05-22 V. Chitraa , Antony Selvadoss Thanamani

The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger service and as such it is vital to build confidence in the…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-17 Heidi Howard , Markus A. Kuppe , Edward Ashton , Amaury Chamayou , Natacha Crooks

Collaborative Filtering (CF) is a widely used technique which allows to leverage past users' preferences data to identify behavioural patterns and exploit them to predict custom recommendations. In this work, we illustrate our review of…

Information Retrieval · Computer Science 2022-09-28 Andrea Pinto , Giacomo Camposampiero , Loïc Houmard , Marc Lundwall

Despite outstanding performance in many tasks, language models are notoriously inclined to make factual errors in tasks requiring arithmetic computation. We address this deficiency by creating Calc-X, a collection of datasets that…

Machine Learning · Computer Science 2023-10-24 Marek Kadlčík , Michal Štefánik , Ondřej Sotolář , Vlastimil Martinek

Transformer-based generative models have achieved remarkable success across domains with various scaling law manifestations. However, our extensive experiments reveal persistent challenges when applying Transformer to recommendation…

Information Retrieval · Computer Science 2025-08-29 Songpei Xu , Shijia Wang , Da Guo , Xianwen Guo , Qiang Xiao , Bin Huang , Guanlin Wu , Chuanjiang Luo

We propose CLIP-EBC, the first fully CLIP-based model for accurate crowd density estimation. While the CLIP model has demonstrated remarkable success in addressing recognition tasks such as zero-shot image classification, its potential for…

Computer Vision and Pattern Recognition · Computer Science 2025-11-20 Yiming Ma , Victor Sanchez , Tanaya Guha

Identifying trendline visualizations with desired patterns is a common and fundamental data exploration task. Existing visual analytics tools offer limited flexibility and expressiveness for such tasks, especially when the pattern of…

Databases · Computer Science 2020-01-31 Tarique Siddiqui , Zesheng Wang , Paul Luh , Karrie Karahalios , Aditya Parameswaran

Click-Through Rate (CTR) prediction holds a paramount position in recommender systems. The prevailing ID-based paradigm underperforms in cold-start scenarios due to the skewed distribution of feature frequency. Additionally, the utilization…

Information Retrieval · Computer Science 2024-11-28 Xingmei Wang , Weiwen Liu , Xiaolong Chen , Qi Liu , Xu Huang , Yichao Wang , Xiangyang Li , Yasheng Wang , Zhenhua Dong , Defu Lian , Ruiming Tang

Clarification is increasingly becoming a vital factor in various topics of information retrieval, such as conversational search and modern Web search engines. Prompting the user for clarification in a search session can be very beneficial…

Information Retrieval · Computer Science 2021-02-09 Ivan Sekulić , Mohammad Aliannejadi , Fabio Crestani

Large-scale datasets have been pivotal to the advancements of deep learning models in recent years, but training on such large datasets invariably incurs substantial storage and computational overhead. Meanwhile, real-world datasets often…

Computer Vision and Pattern Recognition · Computer Science 2025-06-23 Suorong Yang , Peng Ye , Wanli Ouyang , Dongzhan Zhou , Furao Shen

Biclustering is a two way clustering approach involving simultaneous clustering along two dimensions of the data matrix. Finding biclusters of web objects (i.e. web users and web pages) is an emerging topic in the context of web usage…

Neural and Evolutionary Computing · Computer Science 2011-06-14 R. Rathipriya , Dr. K. Thangavel , J. Bagyamani

Analogy is one of the core capacities of human cognition; when faced with new situations, we often transfer prior experience from other domains. Most work on computational analogy relies heavily on complex, manually crafted input. In this…

Computation and Language · Computer Science 2023-11-06 Shahar Jacob , Chen Shani , Dafna Shahaf

Complementary-label learning (CLL) is a weakly-supervised learning paradigm that aims to train a multi-class classifier using only complementary labels, which indicate classes to which an instance does not belong. Despite numerous…

Machine Learning · Computer Science 2025-06-17 Hsiu-Hsuan Wang , Tan-Ha Mai , Nai-Xuan Ye , Wei-I Lin , Hsuan-Tien Lin

Analytical SQL is widely used in modern database applications and data analysis. However, its partitioning and grouping operators are challenging for novice users. Unfortunately, programming by example, shown effective on standard SQL, are…

Programming Languages · Computer Science 2022-04-26 Xiangyu Zhou , Rastislav Bodik , Alvin Cheung , Chenglong Wang

Code comprehension and analysis of open-source project codebases is a task frequently performed by developers and researchers. However, existing tools that practitioners use for assistance with such tasks often require prior project setup,…

Software Engineering · Computer Science 2025-09-12 Ahmed Adnan , Mushfiqur Rahman , Saad Sakib Noor , Kazi Sakib
‹ Prev 1 3 4 5 6 7 10 Next ›