English
Related papers

Related papers: Modeling Variants of Automotive Systems using View…

200 papers

In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quantitative evaluation of behavioral attributes. A feature…

Logic in Computer Science · Computer Science 2019-02-25 Antonio Anastasio Bruto da Costa , Goran Frehse , Pallab Dasgupta

This article discusses how concepts and methods of complex networks can be applied to real-time imaging and computer vision. After a brief introduction of complex networks basic concepts, their use as means to represent and characterize…

Computer Vision and Pattern Recognition · Computer Science 2007-05-23 Luciano da Fontoura Costa

This paper describes a framework for learning Automated Vehicles (AVs) driver models via knowledge sharing between vehicles and personalization. The innate variability in the transportation system makes it exceptionally challenging to…

Robotics · Computer Science 2023-09-01 Wissam Kontar , Xinzhi Zhong , Soyoung Ahn

This paper presents a model architecture for encoding the representations of part-whole hierarchies in images in form of a graph. The idea is to divide the image into patches of different levels and then treat all of these patches as nodes…

Computer Vision and Pattern Recognition · Computer Science 2021-04-09 Muhammad AbdurRafae

In line with the development of deep learning, this survey examines the transformative role of Transformers and foundation models in advancing visual anomaly detection (VAD). We explore how these architectures, with their global receptive…

Machine Learning · Computer Science 2025-07-23 Mouïn Ben Ammar , Arturo Mendoza , Nacim Belkhir , Antoine Manzanera , Gianni Franchi

In this paper, we analyze the viewpoint stability of foundational models - specifically, their sensitivity to changes in viewpoint- and define instability as significant feature variations resulting from minor changes in viewing angle,…

Computer Vision and Pattern Recognition · Computer Science 2024-12-31 Mateusz Michalkiewicz , Sheena Bai , Mahsa Baktashmotlagh , Varun Jampani , Guha Balakrishnan

Concept bottleneck models have been successfully used for explainable machine learning by encoding information within the model with a set of human-defined concepts. In the context of human-assisted or autonomous driving, explainability…

Computer Vision and Pattern Recognition · Computer Science 2023-10-27 Jessica Echterhoff , An Yan , Kyungtae Han , Amr Abdelraouf , Rohit Gupta , Julian McAuley

Graph theory is a promising approach in handling the problem of estimating the connectivity probability of vehicular ad-hoc networks (VANETs). With a communication network represented as graph, graph connectivity indicators become valid for…

Networking and Internet Architecture · Computer Science 2023-05-03 Samar Elaraby , Sherif M. Abuelenin

While the Blackboard Architecture has been in use since the 1980s, it has recently been proposed for modeling computer networks to assess their security. To do this, it must account for complex network attack patterns involving multiple…

Cryptography and Security · Computer Science 2023-06-21 Ben Clark , Matthew Tassava , Cameron Kolodjski , Jeremy Straub

Foundation models are vital tools in various Computer Vision applications. They take as input a single RGB image and output a deep feature representation that is useful for various applications. However, in case we have multiple views of…

Computer Vision and Pattern Recognition · Computer Science 2025-12-18 Leo Segre , Or Hirschorn , Shai Avidan

We consider the basic features of complex dynamic and control systems, including systems having hierarchical structure. Special attention is paid to the problems of design and synthesis of complex systems and control models, and to the…

Computational Engineering, Finance, and Science · Computer Science 2008-12-25 Armen Bagdasaryan

Due to the practical importance of vehicle routing problems (VRP), there exists an ever-growing body of research in algorithms and (meta)heuristics for solving such problems. However, the diversity of VRP domains creates the separate…

Artificial Intelligence · Computer Science 2021-05-25 Konstantin Sidorov , Alexander Morozov

Multivariate networks are commonly found in real-world data-driven applications. Uncovering and understanding the relations of interest in multivariate networks is not a trivial task. This paper presents a visual analytics workflow for…

Social and Information Networks · Computer Science 2024-07-04 Hsiao-Ying Lu , Takanori Fujiwara , Ming-Yi Chang , Yang-chih Fu , Anders Ynnerman , Kwan-Liu Ma

The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is…

Software Engineering · Computer Science 2021-06-01 Kai Hoefig , Andreas Joanni , Marc Zeller , Francesco Montrone , Martin Rothfelder , Rakshith Amarnath , Peter Munk , Arne Nordmann

With neural architecture search methods gaining ground on manually designed deep neural networks -even more rapidly as model sophistication escalates-, the research trend shifts towards arranging different and often increasingly complex…

Neural and Evolutionary Computing · Computer Science 2022-08-18 Unai Garciarena , Roberto Santana , Alexander Mendiburu

This paper deals with the modeling and mathematical analysis of vehicular traffic phenomena according to a kinetic theory approach, where the microscopic state of vehicles is described by: (i) position, (ii) velocity, as a continuous…

Analysis of PDEs · Mathematics 2021-03-26 J. Calvo , J. Nieto , M. Zagour

The vehicular ad hoc networks (VANETs) have been researched for over twenty years. Although being a fundamental communication approach for vehicles, the conventional VANETs are challenged by the newly emerged autonomous vehicles (AVs) which…

Networking and Internet Architecture · Computer Science 2021-12-03 Tom H. Luan , Yao Zhang , Lin Cai , Yilong Hui , Changle Li , Nan Cheng

This paper presents a module of vehicle reidentification based on make/model and color classification. It could be used by the Automated Vehicular Surveillance (AVS) or by the fast analysis of video data. Many of problems, that are related…

Computer Vision and Pattern Recognition · Computer Science 2019-05-22 Mohamed Nafzi , Michael Brauckmann , Tobias Glasmachers

Extracted event data from information systems often contain a variety of process executions making the data complex and difficult to comprehend. Unlike current research which only identifies the variability over time, we focus on other…

Software Engineering · Computer Science 2024-06-10 Ali Norouzifar , Majid Rafiei , Marcus Dees , Wil van der Aalst

Non-holonomic vehicle motion has been studied extensively using physics-based models. Common approaches when using these models interpret the wheel/ground interactions using a linear tire model and thus may not fully capture the nonlinear…

Robotics · Computer Science 2022-07-19 Taekyung Kim , Hojin Lee , Wonsuk Lee