English
Related papers

Related papers: (Auto)Focus approaches and their applications: A s…

200 papers

This study aims to explore the dynamics of driver attention to various zones, including the road, the central mirror, the embedded Human-Machine Interface (HMI), and the speedometer, across different driving modes in AVs. The integration of…

Emerging Technologies · Computer Science 2026-02-05 Yuan Cai , Mustafa Demir , Farzan Sasangohar , Mohsen Zare

Krifka [1993] has suggested that focus should be seen as a means of providing material for a range of semantic and pragmatic functions to work on, rather than as a specific semantic or pragmatic function itself. The current paper describes…

cmp-lg · Computer Science 2008-02-03 Allan Ramsay

Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses…

Software Engineering · Computer Science 2019-11-06 Mario Gleirscher , Simon Foster , Jim Woodcock

Agility implies a set of principles that need to be followed in order to have the proposed responsiveness to change. This paper presents how the Agile Adoption Framework can be used to assess agility and pinpoint focus areas for companies…

Software Engineering · Computer Science 2019-04-23 Lucas Gren

Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks. Existing fine-tuning methods use human feedback to address…

Artificial Intelligence · Computer Science 2024-04-02 Yunhao Yang , Neel P. Bhatt , Tyler Ingebrand , William Ward , Steven Carr , Zhangyang Wang , Ufuk Topcu

In this paper a review is presented of the research on eye gaze estimation techniques and applications, that has progressed in diverse ways over the past two decades. Several generic eye gaze use-cases are identified: desktop, TV,…

Human-Computer Interaction · Computer Science 2017-08-08 Anuradha Kar , Peter Corcoran

This paper presents the initial results from our structured literature review on applications of Formal Methods (FM) to Robotic Autonomous Systems (RAS). We describe our structured survey methodology; including database selection and…

Robotics · Computer Science 2025-09-26 Atef Azaiez , David A. Anisi , Marie Farrell , Matt Luckcuck

The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this…

Artificial Intelligence · Computer Science 2018-10-12 Pietro Baroni , Federico Cerutti , Paul E. Dunne , Massimiliano Giacomin

Self-driving technology is expected to revolutionize different sectors and is seen as the natural evolution of road vehicles. In the last years, real-world validation of designed and virtually tested solutions is growing in importance since…

Robotics · Computer Science 2022-02-15 Stefano Arrigoni , Simone Mentasti , Federico Cheli , Matteo Matteucci , Francesco Braghin

The rise of foundation models has shifted focus from resource-intensive fine-tuning to prompt engineering, a paradigm that steers model behavior through input design rather than weight updates. While manual prompt engineering faces…

Artificial Intelligence · Computer Science 2025-02-18 Wenwu Li , Xiangfeng Wang , Wenhao Li , Bo Jin

The F1TENTH autonomous driving platform, consisting of 1:10-scale remote-controlled cars, has evolved into a well-established education and research platform. The many publications and real-world competitions span many domains, from…

To gain a sense of the development of Artificial Intelligence (AI), this research analyzes what has been done in the past, presently in the last decade and what is predicted for the next several decades. The paper will highlight the biggest…

Computers and Society · Computer Science 2022-04-05 Richard Fulton , Diane Fulton , Susan Kaplan

Process roles are used to structure complex engineering processes in single sys-tems development for many years. Typically, each role has specific responsi-bilities from which certain information demands originate. In the engineering of…

Software Engineering · Computer Science 2017-03-09 Tobias Kaufmann , Thorsten Weyer

This literature review focuses on three important aspects of an autonomous car system: tracking (assessing the identity of the actors such as cars, pedestrians or obstacles in a sequence of observations), prediction (predicting the future…

Machine Learning · Computer Science 2023-08-30 Florin Leon , Marius Gavrilescu

Auto-active verifiers provide a level of automation intermediate between fully automatic and interactive: users supply code with annotations as input while benefiting from a high level of automation in the back-end. This paper presents…

Logic in Computer Science · Computer Science 2015-09-01 Julian Tschannen , Carlo A. Furia , Martin Nordio , Nadia Polikarpova

Context: User assistance is generally defined as the guided assistance to a user of a software system in order to help accomplish tasks and enhance user experience. Automated user assistance systems are equipped with online help system that…

Human-Computer Interaction · Computer Science 2020-03-13 Murat Acar , Bedir Tekinerdogan

The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of formal methods into industrial practices. This paper introduces…

Software Engineering · Computer Science 2014-03-25 Phillip James , Markus Roggenbach

The current research interest in autonomous driving is growing at a rapid pace, attracting great investments from both the academic and corporate sectors. In order for vehicles to be fully autonomous, it is imperative that the driver…

Computer Vision and Pattern Recognition · Computer Science 2019-05-07 Kai Li Lim , Thomas Bräunl

Software reuse allows the software industry to simultaneously reduce development cost and improve product quality. Reuse of early-stage artifacts has been acknowledged to be more beneficial than reuse of later-stage artifacts. In this…

Software Engineering · Computer Science 2014-01-30 Mojeeb Al-Rhman Al-Khiaty , Moataz Ahmed

Within the growing domain of software engineering in the automotive sector, the number of used tools, processes, methods and languages has increased distinctly in the past years. To be able to choose proper methods for particular…

Software Engineering · Computer Science 2016-01-15 Florian Bock , Daniel Homm , Sebastian Siegl , Reinhard German
‹ Prev 1 3 4 5 6 7 10 Next ›