English
Related papers

Related papers: Semantically Configurable Consistency Analysis for…

200 papers

Deep learning models fail on cross-domain challenges if the model is oversensitive to domain-specific attributes, e.g., lightning, background, camera angle, etc. To alleviate this problem, data augmentation coupled with consistency…

Computer Vision and Pattern Recognition · Computer Science 2023-09-26 Mengmeng Jing , Xiantong Zhen , Jingjing Li , Cees Snoek

Recent multi-modal contrastive learning models have demonstrated the ability to learn an embedding space suitable for building strong vision classifiers, by leveraging the rich information in large-scale image-caption datasets. Our work…

Machine Learning · Computer Science 2023-02-09 Yuhui Zhang , Jeff Z. HaoChen , Shih-Cheng Huang , Kuan-Chieh Wang , James Zou , Serena Yeung

Lexical semantics theories differ in advocating that the meaning of words is represented as an inference graph, a feature mapping or a vector space, thus raising the question: is it the case that one of these approaches is superior to the…

Computation and Language · Computer Science 2020-11-17 António Branco , João Rodrigues , Małgorzata Salawa , Ruben Branco , Chakaveh Saedi

The verification and validation of autonomous driving vehicles remains a major challenge due to the high complexity of autonomous driving functions. Scenario-based testing is a promising method for validating such a complex system.…

Robotics · Computer Science 2023-04-24 Maximilian Zipfl , Nina Koch , J. Marius Zöllner

Feature modeling is a widely used formalism to characterize a set of products (also called configurations). As a manual elaboration is a long and arduous task, numerous techniques have been proposed to reverse engineer feature models from…

Software Engineering · Computer Science 2015-02-17 Guillaume Bécan , Razieh Behjati , Arnaud Gotlieb , Mathieu Acher

The growing complexity of software systems as well as changing conditions in their operating environment demand systems that are more flexible, adaptive and dependable. The service-oriented computing paradigm is in widespread use to support…

Software Engineering · Computer Science 2010-11-12 Jorge Fox

This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional domains. Word and phrase…

cmp-lg · Computer Science 2008-02-03 Cem Bozsahin , Elvan Gocmen

We present a dynamic model in which the weights are conditioned on an input sample x and are learned to match those that would be obtained by finetuning a base model on x and its label y. This mapping between an input sample and network…

Machine Learning · Computer Science 2023-06-12 Shahar Lutati , Lior Wolf

Object rearrangement has recently emerged as a key competency in robot manipulation, with practical solutions generally involving object detection, recognition, grasping and high-level planning. Goal-images describing a desired scene…

Robotics · Computer Science 2021-11-16 Walter Goodwin , Sagar Vaze , Ioannis Havoutis , Ingmar Posner

Statistical models of word-sense disambiguation are often based on a small number of contextual features or on a model that is assumed to characterize the interactions among a set of features. Model selection is presented as an alternative…

cmp-lg · Computer Science 2008-02-03 Ted Pedersen , Rebecca Bruce , Janyce Wiebe

Many variability management techniques rely on sophisticated language extension or tools to support it. While this can provide dedicated syntax and operational mechanism but it struggling practical adaptation for the cost of adapting new…

Programming Languages · Computer Science 2021-09-15 Hiun Kim

When modeling an application of practical relevance as an instance of a combinatorial problem X, we are often interested not merely in finding one optimal solution for that instance, but in finding a sufficiently diverse collection of good…

Data Structures and Algorithms · Computer Science 2026-02-19 Julien Baste , Michael R. Fellows , Lars Jaffke , Tomáš Masařík , Mateus de Oliveira Oliveira , Geevarghese Philip , Frances A. Rosamond

In this paper, we study the problem of generating structured objects that conform to a complex schema, with intricate dependencies between the different components (facets) of the object. The facets of the object (attributes, fields,…

Software Engineering · Computer Science 2024-12-02 Amir Tavanaei , Kee Kiat Koo , Hayreddin Ceker , Shaobai Jiang , Qi Li , Julien Han , Karim Bouyarmane

Structured language models for speech recognition have been shown to remedy the weaknesses of n-gram models. All current structured language models are, however, limited in that they do not take into account dependencies between…

Computation and Language · Computer Science 2007-05-23 Rens Bod

This paper studies the problem of modeling complex domains of actions and change within high-level action description languages. We investigate two main issues of concern: (a) can we represent complex domains that capture together different…

Artificial Intelligence · Computer Science 2007-05-23 Antonis Kakas , Loizos Michael

Formally verified compilers and formally verified static analyzers are a solution to the problem that certain industries face when they have to demonstrate to authorities that the object code they run truly corresponds to its source code…

Logic in Computer Science · Computer Science 2024-07-12 David Monniaux

Many methods of semantic image segmentation have borrowed the success of open compound domain adaptation. They minimize the style gap between the images of source and target domains, more easily predicting the accurate pseudo annotations…

Computer Vision and Pattern Recognition · Computer Science 2023-09-29 Tingliang Feng , Hao Shi , Xueyang Liu , Wei Feng , Liang Wan , Yanlin Zhou , Di Lin

We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some sequences of variables ($X_0,\ X_1,\ X_2,\dots$) with a…

Logic in Computer Science · Computer Science 2024-03-12 David M. Cerna

Ordinal Classification (OC) is a widely encountered challenge in Natural Language Processing (NLP), with applications in various domains such as sentiment analysis, rating prediction, and more. Previous approaches to tackle OC have…

Computation and Language · Computer Science 2024-05-21 Siva Rajesh Kasa , Aniket Goel , Karan Gupta , Sumegh Roychowdhury , Anish Bhanushali , Nikhil Pattisapu , Prasanna Srinivasa Murthy

We tackle the task of semantic alignment where the goal is to compute dense semantic correspondence aligning two images depicting objects of the same category. This is a challenging task due to large intra-class variation, changes in…

Computer Vision and Pattern Recognition · Computer Science 2018-04-25 Ignacio Rocco , Relja Arandjelović , Josef Sivic