Searching Arxiv, refresh for possibly better results.
Results for "Divyesh Surana"
total 13took 0.02s
Two-step Constructive Approaches for Dungeon GenerationJun 11 2019This paper presents a two-step generative approach for creating dungeons in the rogue-like puzzle game MiniDungeons 2. Generation is split into two steps, initially producing the architectural layout of the level as its walls and floor tiles, and then ... More Verifying Array Manipulating Programs by TilingJul 12 2017Oct 04 2017Formally verifying properties of programs that manipulate arrays in loops is computationally challenging. In this paper, we focus on a useful class of such programs, and present a novel property-driven verification method that first infers array access ... More Eye-Tracking Metrics for Task-Based Supervisory ControlJun 05 2015Task-based, rather than vehicle-based, control architectures have been shown to provide superior performance in certain human supervisory control missions. These results motivate the need for the development of robust, reliable usability metrics to aid ... More Assessment of Faster R-CNN in Man-Machine collaborative searchApr 04 2019With the advent of modern expert systems driven by deep learning that supplement human experts (e.g. radiologists, dermatologists, surveillance scanners), we analyze how and when do such expert systems enhance human performance in a fine-grained small ... More A Chaotic Dynamical System that PaintsApr 08 2015Can a dynamical system paint masterpieces such as Da Vinci's Mona Lisa or Monet's Water Lilies? Moreover, can this dynamical system be chaotic in the sense that although the trajectories are sensitive to initial conditions, the same painting is created ... More Multilinear Time Invariant Systems TheoryMay 21 2019In this paper, we provide a system theoretic treatment of a new class of multilinear time invariant (MLTI) systems in which the states, inputs and outputs are tensors, and the system evolution is governed by multilinear operators. The MLTI system representation ... More Mixed Human-Robot Team SurveillanceNov 12 2013We study the mixed human-robot team design in a system theoretic setting using the context of a surveillance mission. The three key coupled components of a mixed team design are (i) policies for the human operator, (ii) policies to account for erroneous ... More Attention Allocation Aid for Visual SearchJan 14 2017This paper outlines the development and testing of a novel, feedback-enabled attention allocation aid (AAAD), which uses real-time physiological data to improve human performance in a realistic sequential visual search task. Indeed, by optimizing over ... More