English
Related papers

Related papers: Algebraic Specifications of Wayfinding Using Cogni…

200 papers

Hypergraphs, increasingly utilised for modelling complex and diverse relationships in modern networks, gain much attention representing intricate higher-order interactions. Among various challenges, cohesive subgraph discovery is one of the…

Social and Information Networks · Computer Science 2025-12-30 Song Kim , Dahee Kim , Taejoon Han , Junghoon Kim , Hyun Ji Jeong , Jungeun Kim

Maps are a key component in image-based camera localization and visual SLAM systems: they are used to establish geometric constraints between images, correct drift in relative pose estimation, and relocalize cameras after lost tracking. The…

Computer Vision and Pattern Recognition · Computer Science 2018-04-03 Samarth Brahmbhatt , Jinwei Gu , Kihwan Kim , James Hays , Jan Kautz

We study the problem of jointly reasoning about language and vision through a navigation and spatial reasoning task. We introduce the Touchdown task and dataset, where an agent must first follow navigation instructions in a real-life visual…

Computer Vision and Pattern Recognition · Computer Science 2020-05-19 Howard Chen , Alane Suhr , Dipendra Misra , Noah Snavely , Yoav Artzi

For the classification of traffic scenes, a description model is necessary that can describe the scene in a uniform way, independent of its domain. A model to describe a traffic scene in a semantic way is described in this paper. The…

Machine Learning · Computer Science 2022-06-30 Maximilian Zipfl , J. Marius Zöllner

Streetscapes are an essential component of urban space. Their assessment is presently either limited to morphometric properties of their mass skeleton or requires labor-intensive qualitative evaluations of visually perceived qualities. This…

Computer Vision and Pattern Recognition · Computer Science 2026-03-18 Joan Perez , Giovanni Fusco

Analyzing the geographic movement of humans, animals, and other phenomena is a growing field of research. This research has benefited urban planning, logistics, animal migration understanding, and much more. Typically, the movement is…

Computation and Language · Computer Science 2022-02-01 Scott Pezanowski , Prasenjit Mitra

In the mammalian brain, many neuronal ensembles are involved in representing spatial structure of the environment. In particular, there exist cells that encode the animal's location and cells that encode head direction. A number of studies…

Neurons and Cognition · Quantitative Biology 2021-08-10 Y. Dabaghian

This work aims to make it easier for a specialist in one field to find and explore ideas from another field which may be useful in solving a new problem arising in his practice. It presents a methodology which serves to represent the…

Computers and Society · Computer Science 2007-05-23 Sebastien Paquet

Although they exist since more than ten years already, have attracted diverse implementations, and have been used successfully in a significant number of applications, declarative mapping languages for constructing knowledge graphs from…

Databases · Computer Science 2025-03-25 Sitt Min Oo , Olaf Hartig

Predicting where people can walk in a scene is important for many tasks, including autonomous driving systems and human behavior analysis. Yet learning a computational model for this purpose is challenging due to semantic ambiguity and a…

Computer Vision and Pattern Recognition · Computer Science 2020-08-21 Jin Sun , Hadar Averbuch-Elor , Qianqian Wang , Noah Snavely

Graph-structured data is central to many scientific and industrial domains, where the goal is often to optimize objectives defined over graph structures. Given the combinatorial complexity of graph spaces, such optimization problems are…

Optimization and Control · Mathematics 2025-09-25 Shiqiang Zhang , Ruth Misener

Graphs are a useful abstraction of image content. Not only can graphs represent details about individual objects in a scene but they can capture the interactions between pairs of objects. We present a method for training a convolutional…

Computer Vision and Pattern Recognition · Computer Science 2018-03-28 Alejandro Newell , Jia Deng

In this paper, we propose a learning-based approach to the task of automatically extracting a "wireframe" representation for images of cluttered man-made environments. The wireframe (see Fig. 1) contains all salient straight lines and their…

Computer Vision and Pattern Recognition · Computer Science 2020-07-16 Kun Huang , Yifan Wang , Zihan Zhou , Tianjiao Ding , Shenghua Gao , Yi Ma

Minimising the discomfort caused by robots when navigating in social situations is crucial for them to be accepted. The paper presents a machine learning-based framework that bootstraps existing one-dimensional datasets to generate a cost…

Robotics · Computer Science 2020-11-11 Daniel Rodriguez-Criado , Pilar Bachiller , Luis J. Manso

How many crimes occurred in the city center? And exactly which part of town is the 'city center'? While location is at the heart of many data questions, geographic location can be difficult to specify in natural language (NL) queries. This…

Human-Computer Interaction · Computer Science 2021-10-26 Vidya Setlur , Sarah Battersby , Tracy Wong

We present a formal specification of the Semantic Web, as an extension of the World Wide Web using the well known algebraic specification language CafeOBJ. Our approach allows the description of the key elements of the Semantic Web…

Logic in Computer Science · Computer Science 2011-08-01 Katerina Ksystra , Nikolaos Triantafyllou , Petros Stefaneas , Panayiotis Frangos

A map graph is a graph admitting a representation in which vertices are nations on a spherical map and edges are shared curve segments or points between nations. We present an explicit fixed-parameter tractable algorithm for recognizing map…

Data Structures and Algorithms · Computer Science 2022-07-01 Patrizio Angelini , Michael A. Bekos , Giordano Da Lozzo , Martin Gronemann , Fabrizio Montecchiani , Alessandra Tappini

Modern computer networks support interesting new routing models in which traffic flows from a source s to a destination t can be flexibly steered through a sequence of waypoints, such as (hardware) middleboxes or (virtualized) network…

Networking and Internet Architecture · Computer Science 2017-09-04 Saeed Akhoondian Amiri , Klaus-Tycho Foerster , Riko Jacob , Stefan Schmid

Traditionally, Euclidean geometry is treated by scientists as a priori and objective. However, when we take the position of an agent, the problem of selecting a best route should also factor in the abilities of the agent, its embodiment and…

Artificial Intelligence · Computer Science 2022-11-04 Karen Archer , Nicola Catenacci Volpi , Franziska Bröker , Daniel Polani

Conceptual spaces are geometric representations of conceptual knowledge, in which entities correspond to points, natural properties correspond to convex regions, and the dimensions of the space correspond to salient features. While…

Artificial Intelligence · Computer Science 2017-10-26 Shoaib Jameel , Steven Schockaert