English
Related papers

Related papers: T-Wise Presence Condition Coverage and Sampling fo…

200 papers

Sample-based observability characterizes the ability to reconstruct the internal state of a dynamical system by using limited output information, i.e., when measurements are only infrequently and/or irregularly available. In this work, we…

Systems and Control · Electrical Eng. & Systems 2025-07-01 Isabelle Krauss , Victor G. Lopez , Matthias A. Müller

Recent advancements in the domain of text-to-image synthesis have culminated in a multitude of enhancements pertaining to quality, fidelity, and diversity. Contemporary techniques enable the generation of highly intricate visuals which…

Computer Vision and Pattern Recognition · Computer Science 2023-05-24 Dominic Rampas , Pablo Pernias , Marc Aubreville

State-space models are dynamical systems defined by a latent and an observed process. In ecology, stochastic state-space models in discrete time are most often used to describe the imperfectly observed dynamics of population sizes or animal…

Methodology · Statistics 2025-08-13 Frederic Barraquand , Julien Gibaud

Space-filling designs are commonly used in computer experiments to fill the space of inputs so that the input-output relationship can be accurately estimated. However, in certain applications such as inverse design or feature-based…

Methodology · Statistics 2023-09-08 Shangkun Wang , Adam P. Generale , Surya R. Kalidindi , V. Roshan Joseph

The potential of large tactile arrays to improve robot perception for safe operation in human-dominated environments and of high-resolution tactile arrays to enable human-level dexterous manipulation is well accepted. However, the increase…

Robotics · Computer Science 2017-05-16 Brayden Hollis , Stacy Patterson , Jeff Trinkle

Sparsity is a ubiquitous feature of many real world signals such as natural images and neural spiking activities. Conventional compressed sensing utilizes sparsity to recover low dimensional signal structures in high ambient dimensions…

Statistics Theory · Mathematics 2018-07-02 Abbas Kazemipour

A new method called the aggregated sure independence screening is proposed for the computational challenges in variable selection of interactions when the number of explanatory variables is much higher than the number of observations (i.e.,…

Methodology · Statistics 2024-07-08 Tonglin Zhang

Autonomous traffic control systems are large-scale systems with critical goals. Due to the dynamic nature of the surrounding world of these systems, assuring the satisfaction of their properties at runtime and in the presence of a change is…

Software Engineering · Computer Science 2021-03-12 Maryam Bagheri , Marjan Sirjani , Ehsan Khamespanah , Christel Baier , Ali Movaghar

Interactive intelligent systems, i.e., interactive systems that employ AI technologies, are currently present in many parts of our social, public and political life. An issue reoccurring often in the development of these systems is the…

Human-Computer Interaction · Computer Science 2019-09-17 Maximilian Mackeprang , Claudia Müller-Birn , Maximilian Timo Stauss

We advocate an optimization procedure for variable density sampling in the context of compressed sensing. In this perspective, we introduce a minimization problem for the coherence between the sparsity and sensing bases, whose solution…

Information Theory · Computer Science 2011-09-29 Gilles Puy , Pierre Vandergheynst , Yves Wiaux

Even when starting with a very poor initial guess, the iterative configuration interaction (iCI) approach can converge from above to full CI very quickly by constructing and diagonalizing a small Hamiltonian matrix at each…

Chemical Physics · Physics 2020-01-07 Ning Zhang , Wenjian Liu , Mark R. Hoffmann

Novel view synthesis from images, for example, with 3D Gaussian splatting, has made great progress. Rendering fidelity and speed are now ready even for demanding virtual reality applications. However, the problem of assisting humans in…

Computer Vision and Pattern Recognition · Computer Science 2025-08-19 Ayaka Yasunaga , Hideo Saito , Dieter Schmalstieg , Shohei Mori

Owning to the sub-standards being developed by IEEE Time-Sensitive Networking (TSN) Task Group, the traditional IEEE 802.1 Ethernet is enhanced to support real-time dependable communications for future time- and safety-critical…

Networking and Internet Architecture · Computer Science 2022-06-16 Luxi Zhao , Paul Pop , Sebastian Steinhorst

Trajectory sampling is a key component of sampling-based control mechanisms. Trajectory samplers rely on control input samplers, which generate control inputs u from a distribution p(u | x) where x is the current state. We introduce the…

Robotics · Computer Science 2025-10-21 Yukang Cao , Rahul Moorthy , O. Goktug Poyrazoglu , Volkan Isler

Example-guided image synthesis aims to synthesize an image from a semantic label map and an exemplary image indicating style. We use the term "style" in this problem to refer to implicit characteristics of images, for example: in portraits…

Computer Vision and Pattern Recognition · Computer Science 2019-07-01 Miao Wang , Guo-Ye Yang , Ruilong Li , Run-Ze Liang , Song-Hai Zhang , Peter. M. Hall , Shi-Min Hu

Data-carving methods perform selective inference by conditioning the distribution of data on the observed selection event. However, existing data-carving approaches typically require an analytically tractable characterization of the…

Methodology · Statistics 2025-06-03 Sifan Liu , Snigdha Panigrahi

In this paper, we present a new way of matching in observational studies that overcomes three limitations of existing matching approaches. First, it directly balances covariates with multi-valued treatments without requiring the generalized…

Applications · Statistics 2019-07-11 Magdalena Bennett , Juan Pablo Vielma , Jose R. Zubizarreta

Variable selection, also known as feature selection in machine learning, plays an important role in modeling high dimensional data and is key to data-driven scientific discoveries. We consider here the problem of detecting influential…

Methodology · Statistics 2014-09-24 Bo Jiang , Jun S. Liu

Generating paired sequences with maximal compatibility from a given set is one of the most important challenges in various applications, including information and communication technologies. However, the number of possible pairings explodes…

Data Structures and Algorithms · Computer Science 2022-05-10 Naoki Fujita , Nicolas Chauvet , Andre Roehm , Ryoichi Horisaki , Aohan Li , Mikio Hasegawa , Makoto Naruse

As industrial autonomous ground vehicles are increasingly deployed in safety-critical environments, ensuring their safe operation under diverse conditions is paramount. This paper presents a novel approach for their safety verification…

Robotics · Computer Science 2025-07-17 Nawshin Mannan Proma , Gricel Vázquez , Sepeedeh Shahbeigi , Arjun Badyal , Victoria Hodge
‹ Prev 1 8 9 10 Next ›