English
Related papers

Related papers: Optimising Dynamic Traffic Distribution for Urban …

200 papers

In this paper, we present ASPEN, an answer set programming (ASP) implementation of a recently proposed declarative framework for collective entity resolution (ER). While an ASP encoding had been previously suggested, several practical…

The paper focuses on improving the spectrum sharing using NSU, FLS and Traffic Pattern Prediction and also made comparison that traffic pattern prediction provides a better way of improving the spectrum utilization and avoids the spectrum…

Networking and Internet Architecture · Computer Science 2014-10-10 R. Kaniezhil , C. Chandrasekar

Answer Set Programming (ASP) is a declarative programming language used for modeling and solving complex combinatorial problems. It has been successfully applied to a number of different realworld problems. However, learning its usage can…

Software Engineering · Computer Science 2026-03-31 Rafael Martins , Matthias Knorr , Ricardo Gonçalves

We propose a method for generating explainable rule sets from tree-ensemble learners using Answer Set Programming (ASP). To this end, we adopt a decompositional approach where the split structures of the base decision trees are exploited in…

Artificial Intelligence · Computer Science 2021-09-20 Akihiro Takemura , Katsumi Inoue

In this paper, a dynamic spectrum management framework is proposed to improve spectrum resource utilization in a multi-access edge computing (MEC) in autonomous vehicular network (AVNET). To support the increasing data traffic and guarantee…

Networking and Internet Architecture · Computer Science 2019-01-04 Haixia Peng , Qiang Ye , Xuemin Shen

Deductive formalisms have been strongly developed in recent years; among them, Answer Set Programming (ASP) gained some momentum, and has been lately fruitfully employed in many real-world scenarios. Nonetheless, in spite of a large number…

One of our long term research goals is to develop systems to answer realistic questions (e.g., some mentioned in textbooks) about biological pathways that a biologist may ask. To answer such questions we need formalisms that can model…

Artificial Intelligence · Computer Science 2013-06-25 Saadat Anwar , Chitta Baral , Katsumi Inoue

This paper proposes a simplified version of classical models for urban transportation networks, and studies the problem of controlling intersections with the goal of optimizing network-wide congestion. Differently from traditional…

Optimization and Control · Mathematics 2018-11-08 Gianluca Bianchin , Fabio Pasqualetti

Presence of a logically centralized controller in software-defined networks enables smart and fine-grained management of network traffic. Generally, traffic management includes measurement, analysis and control of traffic in order to…

Networking and Internet Architecture · Computer Science 2017-03-14 Hamidreza Almasi , Hossein Ajorloo

Traffic forecasting is important for the success of intelligent transportation systems. Deep learning models, including convolution neural networks and recurrent neural networks, have been extensively applied in traffic forecasting problems…

Machine Learning · Computer Science 2022-07-08 Weiwei Jiang , Jiayun Luo

The deployment of Autonomous Vehicles (AVs) poses considerable challenges and unique opportunities for the design and management of future urban road infrastructure. In light of this disruptive transformation, the Right-Of-Way (ROW)…

Machine Learning · Computer Science 2023-03-23 Qiming Ye , Yuxiang Feng , Jose Javier Escribano Macias , Marc Stettler , Panagiotis Angeloudis

Forecasting the trajectory of pedestrians in shared urban traffic environments is still considered one of the challenging problems facing the development of autonomous vehicles (AVs). In the literature, this problem is often tackled using…

Computer Vision and Pattern Recognition · Computer Science 2021-08-10 Khaled Saleh

We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining (DPM). We consider here three classical problems, namely, Log Generation, Conformance Checking, and Query…

Artificial Intelligence · Computer Science 2022-09-27 Francesco Chiariello , Fabrizio Maria Maggi , Fabio Patrizi

Answer Set Programming (ASP) is a popular declarative reasoning and problem solving approach in symbolic AI. Its rule-based formalism makes it inherently attractive for explainable and interpretive reasoning, which is gaining importance…

Artificial Intelligence · Computer Science 2026-01-22 Thomas Eiter , Tobias Geibinger , Zeynep G. Saribatur

Because of the stochastic nature of traffic requirement matrix, it is very difficult to get the optimal traffic distribution to minimize the delay even with adaptive routing protocol in a fixed connection network where capacity already…

Neural and Evolutionary Computing · Computer Science 2010-03-25 Manoj Kumar Singh

The capacitated arc routing problem (CARP) is a challenging combinatorial optimisation problem abstracted from many real-world applications, such as waste collection, road gritting and mail delivery. However, few studies considered dynamic…

Neural and Evolutionary Computing · Computer Science 2022-02-23 Hao Tong , Leandro L. Minku , Stefan Menzel , Bernhard Sendhoff , Xin Yao

In recent decades, mobile applications (apps) have gained enormous popularity. Smart services for smart cities increasingly gain attention. The main goal of the proposed research is to present a new AI-powered mobile application on…

Artificial Intelligence · Computer Science 2023-11-09 Senem Tanberk , Mustafa Can

Efficiently computing fast paths in large scale dynamic road networks (where dynamic traffic information is known over a part of the network) is a practical problem faced by several traffic information service providers who wish to offer a…

Networking and Internet Architecture · Computer Science 2007-06-27 Giacomo Nannicini , Philippe Baptiste , Gilles Barbier , Daniel Krob , Leo Liberti

We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We provide an…

Artificial Intelligence · Computer Science 2010-12-06 Yves Moinard

Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of a special attention. In this work, we propose a novel…

Artificial Intelligence · Computer Science 2019-09-19 Tarek Khaled , Belaïd Benhamou
‹ Prev 1 3 4 5 6 7 10 Next ›