English
Related papers

Related papers: PERCEVAL: a Computer-Driven System for Experimenta…

200 papers

This software project based paper is for a vision of the near future in which computer interaction is characterized by natural face-to-face conversations with lifelike characters that speak, emote, and gesture. The first step is speech. The…

Human-Computer Interaction · Computer Science 2013-05-10 Urmila Shrawankar , Anjali Mahajan

We consider perception-based control using state estimates that are obtained from high-dimensional sensor measurements via learning-enabled perception maps. However, these perception maps are not perfect and result in state estimation…

Systems and Control · Electrical Eng. & Systems 2023-08-29 Shuo Yang , George J. Pappas , Rahul Mangharam , Lars Lindemann

Software engineers frequently face the challenge of developing systems whose requirements are likely to change in order to adapt to organizational reconfigurations or other external pressures. Evolving requirements present difficulties,…

Software Engineering · Computer Science 2014-02-25 Andrew Branson , Richard McClatchey , Jean-Marie Le Goff , Jetendr Shamdasani

In this thesis, we present an articulated, empirical view on what human music making is, and on how this fundamentally relates to computation. The experimental evidence which we obtained seems to indicate that this view can be used as a…

Human-Computer Interaction · Computer Science 2025-02-13 Staas de Jong

Safety is a critical concern in autonomous vehicle (AV) systems, especially when AI-based sensing and perception modules are involved. However, due to the black box nature of AI algorithms, it makes closed-loop analysis and synthesis…

Systems and Control · Electrical Eng. & Systems 2025-09-16 Tao Yan , Zheyu Zhang , Jingjing Jiang , Wen-Hua Chen

Perception contracts provide a method for evaluating safety of control systems that use machine learning for perception. A perception contract is a specification for testing the ML components, and it gives a method for proving end-to-end…

Robotics · Computer Science 2023-11-16 Yangge Li , Benjamin C Yang , Yixuan Jia , Daniel Zhuang , Sayan Mitra

Cyber-physical systems like autonomous vehicles are tested in simulation before deployment, using domain-specific programs for scenario specification. To aid the testing of autonomous vehicles in simulation, we design a natural language…

Computation and Language · Computer Science 2025-09-09 Rimvydas Rubavicius , Antonio Valerio Miceli-Barone , Alex Lascarides , Subramanian Ramamoorthy

Speech perception involves storing and integrating sequentially presented items. Recent work in cognitive neuroscience has identified temporal and contextual characteristics in humans' neural encoding of speech that may facilitate this…

Computation and Language · Computer Science 2024-05-15 Oli Danyi Liu , Hao Tang , Naomi Feldman , Sharon Goldwater

Humans and animals exhibit a range of interesting behaviors in dynamic environments, and it is unclear how our brains actively reformat this dense sensory information to enable these behaviors. Experimental neuroscience is undergoing a…

Neurons and Cognition · Quantitative Biology 2023-11-07 Aran Nayebi

Autonomous Driving Systems (ADS) have made huge progress and started on-road testing or even commercializing trials. ADS are complex and difficult to test: they receive input data from multiple sensors and make decisions using a combination…

Software Engineering · Computer Science 2024-08-27 Tri Minh Triet Pham , Bo Yang , Jinqiu Yang

We present CRUXEval (Code Reasoning, Understanding, and eXecution Evaluation), a benchmark consisting of 800 Python functions (3-13 lines). Each function comes with an input-output pair, leading to two natural tasks: input prediction and…

Software Engineering · Computer Science 2024-01-09 Alex Gu , Baptiste Rozière , Hugh Leather , Armando Solar-Lezama , Gabriel Synnaeve , Sida I. Wang

The investigations reported in this paper center on the process of dynamic uncertainty assessment during interpretation tasks in real domain. In particular, we are interested here in the nature of the control structure of computer programs…

Artificial Intelligence · Computer Science 2013-04-12 Shohara L. Hardt

In musical compositions that include vocals, lyrics significantly contribute to artistic expression. Consequently, previous studies have introduced the concept of a recommendation system that suggests lyrics similar to a user's favorites or…

Computation and Language · Computer Science 2024-08-28 Haven Kim , Taketo Akama

While the most visible part of the safety verification process of automated vehicles concerns the planning and control system, it is often overlooked that safety of the latter crucially depends on the fault-tolerance of the preceding…

Robotics · Computer Science 2021-11-25 Cornelius Buerkle , Florian Geissler , Michael Paulitsch , Kay-Ulrich Scholl

Algorithms of inference in a computer system oriented to input and semantic processing of text information are presented. Such inference is necessary for logical questions when the direct comparison of objects from a question and database…

Computation and Language · Computer Science 2012-02-02 Yuriy Ostapov

Reaction-times in perceptual tasks are the subject of many experimental and theoretical studies. With the neural decision making process as main focus, most of these works concern discrete (typically binary) choice tasks, implying the…

Neurons and Cognition · Quantitative Biology 2012-03-01 Laurent Bonnasse-Gahot , Jean-Pierre Nadal

Social aspects in software development teams are of particular importance for a successful project closure. To analyze sentiments in software projects, there are several tools and approaches available. These tools analyze text-based…

Software Engineering · Computer Science 2022-06-23 Marc Herrmann , Martin Obaidi , Jil Klünder

Computer vision has undergone a dramatic revolution in performance, driven in large part through deep features trained on large-scale supervised datasets. However, much of these improvements have focused on static image analysis; video…

Computer Vision and Pattern Recognition · Computer Science 2020-04-07 Rohit Girdhar , Deva Ramanan

Leveraging the perceptual phenomenon of crossmoal correspondence has been shown to facilitate peoples information processing and improves sensorimotor performance. However for goal-oriented interactive tasks, the question of how to enhance…

Human-Computer Interaction · Computer Science 2020-02-18 Feng Feng , Puhong Li , Tony Stockman

The recent surge in interest in autonomous driving stems from its rapidly developing capacity to enhance safety, efficiency, and convenience. A pivotal aspect of autonomous driving technology is its perceptual systems, where core algorithms…

Computer Vision and Pattern Recognition · Computer Science 2023-11-02 Qi Zhang , Siyuan Gou , Wenbin Li