English
Related papers

Related papers: A Generic Scheme and Properties of Bidirectional T…

200 papers

To harness the potential of advanced computing technologies, efficient (real time) analysis of large amounts of data is as essential as are front-line simulations. In order to optimise this process, experts need to be supported by…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-03 Jovana Knežević , Ralf-Peter Mundani , Ernst Rank

To facilitate high quality interaction during the regular use of computing systems, it is essential that the user interface (UI) deliver content and components in an appropriate manner. Although extended reality (XR) is emerging as a new…

Human-Computer Interaction · Computer Science 2023-09-11 Kashyap Todi , Tanya R. Jonker

Developable surfaces are commonly observed in various applications such as architecture, product design, manufacturing, mechanical materials, and data physicalization as well as in the development of tangible interaction and deformable…

Graphics · Computer Science 2023-06-16 Chao Yuan , Nan Cao , Yang Shi

Thanks to recent advancements in the technology, eXtended Reality (XR) applications are gaining a lot of momentum, and they will surely become increasingly popular in the next decade. These new applications, however, require a step forward…

Networking and Internet Architecture · Computer Science 2021-08-11 Mattia Lecci , Matteo Drago , Andrea Zanella , Michele Zorzi

In this paper, we study a declarative framework for specifying transformations of property graphs. In order to express such transformations, we leverage queries formulated in the Graph Pattern Calculus (GPC), which is an abstraction of the…

Databases · Computer Science 2024-06-21 Angela Bonifati , Filip Murlak , Yann Ramusat

Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This paper presents a practical, yet…

Logic in Computer Science · Computer Science 2024-06-03 Blair Archibald , Muffy Calder , Michele Sevegnani

Our modern world produces an increasing quantity of data, and especially geospatial data, with advance of sensing technologies, and growing complexity and organisation of vector data. Tools are needed to efficiently create and edit those…

Databases · Computer Science 2018-01-18 Remi Cura , Julien Perret , Nicolas Paparoditis

Multi-Object Tracking MOT encompasses various tracking scenarios, each characterized by unique traits. Effective trackers should demonstrate a high degree of generalizability across diverse scenarios. However, existing trackers struggle to…

Computer Vision and Pattern Recognition · Computer Science 2024-06-04 Zheng Qin , Le Wang , Sanping Zhou , Panpan Fu , Gang Hua , Wei Tang

Bidirectional typing is a discipline in which the typing judgment is decomposed explicitly into inference and checking modes, allowing to control the flow of type information in typing rules and to specify algorithmically how they should be…

Logic in Computer Science · Computer Science 2024-04-22 Thiago Felicissimo

We introduce a special subset of the graph of a homogeneous coupled cell network, called a projection block, and show that the network obtained from identifying this block to a single point can be used to understand the generic bifurcations…

Dynamical Systems · Mathematics 2016-12-16 Eddie Nijholt , Bob Rink , Jan Sanders

Creating visual layouts is a critical step in graphic design. Automatic generation of such layouts is essential for scalable and diverse visual designs. To advance conditional layout generation, we introduce BLT, a bidirectional layout…

Computer Vision and Pattern Recognition · Computer Science 2022-07-26 Xiang Kong , Lu Jiang , Huiwen Chang , Han Zhang , Yuan Hao , Haifeng Gong , Irfan Essa

Transformer architectures, capable of capturing sequential dependencies in the history of user interactions, have become the dominant approach in sequential recommender systems. Despite their success, such models consider sequence elements…

Information Retrieval · Computer Science 2026-03-02 Artur Gimranov , Viacheslav Yusupov , Elfat Sabitov , Tatyana Matveeva , Anton Lysenko , Ruslan Israfilov , Evgeny Frolov

Recently, a variety of database implementations adopting the property graph model have emerged. However, interoperable management of graph data on these implementations is challenging due to the differences in data models and formats. Here,…

Databases · Computer Science 2019-07-10 Hirokazu Chiba , Ryota Yamanaka , Shota Matsumoto

During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validity of produced data. Nowadays, a challenge is to assess and…

Programming Languages · Computer Science 2008-11-27 Pierre Genevès , Nabil Layaïda , Vincent Quint

Resilience is a concept of rising interest in computer science and software engineering. For systems in which correctness w.r.t. a safety condition is unachievable, fast recovery is demanded. We investigate resilience problems of graph…

Software Engineering · Computer Science 2021-12-22 Okan Özkan , Nick Würdemann

Generalized planning is concerned with the characterization and computation of plans that solve many instances at once. In the standard formulation, a generalized plan is a mapping from feature or observation histories into actions,…

Artificial Intelligence · Computer Science 2018-06-15 Blai Bonet , Hector Geffner

Bayesian additive regression trees (BART) is a flexible prediction model/machine learning approach that has gained widespread popularity in recent years. As BART becomes more mainstream, there is an increased need for a paper that walks…

Applications · Statistics 2025-09-18 Yaoyuan Vincent Tan , Jason Roy

In real-world scenarios, achieving domain adaptation and generalization poses significant challenges, as models must adapt to or generalize across unknown target distributions. Extending these capabilities to unseen multimodal…

Computer Vision and Pattern Recognition · Computer Science 2025-09-22 Hao Dong , Moru Liu , Kaiyang Zhou , Eleni Chatzi , Juho Kannala , Cyrill Stachniss , Olga Fink

There is great promise in creating effective technology experiences during situationally-induced impairments and disabilities through the combination of universal design and adaptive interfaces. We believe this combination is a powerful…

Human-Computer Interaction · Computer Science 2019-04-15 Aaron Steinfeld , John Zimmerman , Anthony Tomasic

Operating Systems are built upon a set of abstractions to provide resource management and programming APIs for common functionality, such as synchronization, communication, protection, and I/O. The process abstraction is the bridge across…

Operating Systems · Computer Science 2022-05-26 Rodrigo Siqueira , Nelson Lago , Fabio Kon , Dejan Milojičić