English
Related papers

Related papers: Solving Disjunctive Temporal Networks with Uncerta…

200 papers

Several `edge-discovery' applications over graph-based data models are known to have worst-case quadratic time complexity in the nodes, even if the discovered edges are sparse. One example is the generic link discovery problem between two…

Artificial Intelligence · Computer Science 2017-07-04 Mayank Kejriwal

Distributed cloud networking enables the deployment of a wide range of services in the form of interconnected software functions instantiated over general purpose hardware at multiple cloud locations distributed throughout the network. We…

Networking and Internet Architecture · Computer Science 2017-09-01 Hao Feng , Jaime Llorca , Antonia M. Tulino , Andreas F. Molisch

State of the art methods for robotic path planning in dynamic environments, such as crowds or traffic, rely on hand crafted motion models for agents. These models often do not reflect interactions of agents in real world scenarios. To…

Robotics · Computer Science 2020-02-03 Stuart Eiffert , He Kong , Navid Pirmarzdashti , Salah Sukkarieh

This paper presents a deep learning based model predictive control algorithm for control affine nonlinear discrete time systems with matched and bounded state-dependent uncertainties of unknown structure. Since the structure of…

Systems and Control · Electrical Eng. & Systems 2023-02-28 Prabhat K. Mishra , Mateus V. Gasparino , Andres E. B. Velasquez , Girish Chowdhary

This paper deals with the problem of 3D tracking, i.e., to find dense correspondences in a sequence of time-varying 3D shapes. Despite deep learning approaches have achieved promising performance for pairwise dense 3D shapes matching, it is…

Computer Vision and Pattern Recognition · Computer Science 2020-06-25 Shuaihang Yuan , Xiang Li , Yi Fang

It is well known that for ergodic channel processes the Generalized Max-Weight Matching (GMWM) scheduling policy stabilizes the network for any supportable arrival rate vector within the network capacity region. This policy, however, often…

Information Theory · Computer Science 2016-11-18 Mahdi Lotfinezhad , Ben Liang , Elvino S. Sousa

The multi-modal nature of many vision problems calls for neural network architectures that can perform multiple tasks concurrently. Typically, such architectures have been handcrafted in the literature. However, given the size and…

Computer Vision and Pattern Recognition · Computer Science 2021-05-12 David Bruggemann , Menelaos Kanakis , Stamatios Georgoulis , Luc Van Gool

Spatiotemporal forecasting has various applications in neuroscience, climate and transportation domain. Traffic forecasting is one canonical example of such learning task. The task is challenging due to (1) complex spatial dependency on…

Machine Learning · Computer Science 2018-02-26 Yaguang Li , Rose Yu , Cyrus Shahabi , Yan Liu

Neural architectures such as Recurrent Neural Networks (RNNs), Transformers, and State-Space Models have shown great success in handling sequential data by learning temporal dependencies. Decision Trees (DTs), on the other hand, remain a…

Machine Learning · Computer Science 2025-02-07 Sascha Marton , Moritz Schneider

The term Delay/Disruption-Tolerant Networks (DTN) invented to describe and cover all types of long-delay, disconnected, intermittently connected networks, where mobility and outages or scheduled contacts may be experienced. This environment…

Networking and Internet Architecture · Computer Science 2021-05-06 Fuad Yimer Yesuf , M. Prathap

Community search is a well-studied problem which, given a static graph and a query set of vertices, requires to find a cohesive (or dense) subgraph containing the query vertices. In this paper we study the problem of community search in…

Data Structures and Algorithms · Computer Science 2020-11-12 Ioanna Tsalouchidou , Francesco Bonchi , Ricardo Baeza-Yates

Learning-based model predictive control (MPC) is an approach designed to reduce the computational cost of MPC. In this paper, a constrained deep neural network (DNN) design is proposed to learn MPC policy for nonlinear systems. Using…

Systems and Control · Electrical Eng. & Systems 2023-03-30 Farshid Asadi

The bug triaging process, an essential process of assigning bug reports to the most appropriate developers, is related closely to the quality and costs of software development. As manual bug assignment is a labor-intensive task, especially…

Software Engineering · Computer Science 2022-03-02 Hongrun Wu , Yutao Ma , Zhenglong Xiang , Chen Yang , Keqing He

We present a tree structure algorithm for optimal control problems with state constraints. We prove a convergence result for a discrete time approximation of the value function based on a novel formulation of the constrained problem. Then…

Numerical Analysis · Mathematics 2020-09-29 Alessandro Alla , Maurizio Falcone , Luca Saluzzi

This study proposes a real-time control framework for cascaded hydropower systems that incorporates decision-dependent uncertainty (DDU) to capture the coupling of streamflow uncertainties across the reservoirs. The framework jointly models…

Systems and Control · Electrical Eng. & Systems 2026-05-26 Eliza Cohn , Ning Qi , Upmanu Lall , Bolun Xu

Dynamic trees are a well-studied and fundamental building block of dynamic graph algorithms dating back to the seminal work of Sleator and Tarjan [STOC'81, (1981), pp. 114-122]. The problem is to maintain a tree subject to online edge…

Data Structures and Algorithms · Computer Science 2023-06-16 Daniel Anderson , Guy E. Blelloch

Deep Neural networks are efficient and flexible models that perform well for a variety of tasks such as image, speech recognition and natural language understanding. In particular, convolutional neural networks (CNN) generate a keen…

Machine Learning · Computer Science 2018-12-20 Yesmina Jaafra , Jean Luc Laurent , Aline Deruyver , Mohamed Saber Naceur

In the domain of sequence modelling, Recurrent Neural Networks (RNN) have been capable of achieving impressive results in a variety of application areas including visual question answering, part-of-speech tagging and machine translation.…

Machine Learning · Computer Science 2018-05-22 Tharindu Fernando , Simon Denman , Aaron McFadyen , Sridha Sridharan , Clinton Fookes

Real-time analysis of graphs containing temporal information, such as social media streams, Q&A networks, and cyber data sources, plays an important role in various applications. Among them, detecting patterns is one of the fundamental…

Databases · Computer Science 2023-12-19 Seunghwan Min , Jihoon Jang , Kunsoo Park , Dora Giammarresi , Giuseppe F. Italiano , Wook-Shin Han

While many time-dependent network design problems can be formulated as time-indexed formulations with strong relaxations, the size of these formulations depends on the discretization of the time horizon and can become prohibitively large.…

Discrete Mathematics · Computer Science 2023-05-31 Madison Van Dyk , Jochen Koenemann