English
Related papers

Related papers: Service Choreography, SBVR, and Time

200 papers

Over the past few years, the concept of VR has attracted increasing interest thanks to its extensive industrial and commercial applications. Currently, the 3D models of the virtual scenes are generally stored in the VR visor itself, which…

Networking and Internet Architecture · Computer Science 2022-06-02 Federico Chiariotti , Matteo Drago , Paolo Testolina , Mattia Lecci , Andrea Zanella , Michele Zorzi

The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action…

Multiagent Systems · Computer Science 2010-11-09 Carl Hewitt

We built Chorex, a language that brings choreographic programming to Elixir as a path toward robust distributed applications. Chorex is unique among choreographic languages because it tolerates failure among actors: when an actor crashes,…

Programming Languages · Computer Science 2025-11-21 Ashton Wiersdorf , Ben Greenman

Online Food Recommendation Service (OFRS) has remarkable spatiotemporal characteristics and the advantage of being able to conveniently satisfy users' needs in a timely manner. There have been a variety of studies that have begun to explore…

Information Retrieval · Computer Science 2023-08-09 Shaochuan Lin , Jiayan Pei , Taotao Zhou , Hengxu He , Jia Jia , Ning Hu

A motion planning methodology based on the combination of Control Barrier Functions (CBF) and Signal Temporal Logic (STL) is employed in this paper. This methodology allows task completion at any point within a specified time interval,…

Robotics · Computer Science 2024-04-02 Andrea Ruo , Lorenzo Sabattini , Valeria Villani

Procedure planning requires a model to predict a sequence of actions that transform a start visual observation into a goal in instructional videos. While most existing methods rely primarily on visual observations as input, they often…

Computer Vision and Pattern Recognition · Computer Science 2026-03-11 Lei Shi , Victor Aregbede , Andreas Persson , Martin Längkvist , Amy Loutfi , Stephanie Lowry

Session-based recommendation (SBR) aims to predict the user next action based on the ongoing sessions. Recently, there has been an increasing interest in modeling the user preference evolution to capture the fine-grained user interests.…

Information Retrieval · Computer Science 2022-08-23 Jiayan Guo , Peiyan Zhang , Chaozhuo Li , Xing Xie , Yan Zhang , Sunghun Kim

We propose SLARM, a feed-forward model that unifies dynamic scene reconstruction, semantic understanding, and real-time streaming inference. SLARM captures complex, non-uniform motion through higher-order motion modeling, trained solely on…

Computer Vision and Pattern Recognition · Computer Science 2026-03-27 Zhicheng Qiu , Jiarui Meng , Tong-an Luo , Yican Huang , Xuan Feng , Xuanfu Li , ZHan Xu

In the last decade, substantial progress has been made towards standardizing the syntax of graph query languages, and towards understanding their semantics and complexity of evaluation. In this paper, we consider temporal property graphs…

Databases · Computer Science 2022-03-11 Marcelo Arenas , Pedro Bahamondes , Amir Aghasadeghi , Julia Stoyanovich

The ad-hoc querying process is slow and error prone due to inability of business experts of accessing data directly without involving IT experts. The problem lies in complexity of means used to query data. We propose a new natural language-…

Databases · Computer Science 2016-06-09 Janis Barzdins , Mikus Grasmanis , Edgars Rencis , Agris Sostaks , Juris Barzdins

In the context of globalization and dynamic markets, collaboration among organizations is a condition sine qua non for organizations, especially small and medium enterprises, to remain competitive. Virtual organizations have been proposed…

Software Engineering · Computer Science 2011-11-24 Zbigniew Paszkiewicz , Willy Picard

Federated learning is generally used in tasks where labels are readily available (e.g., next word prediction). Relaxing this constraint requires design of unsupervised learning techniques that can support desirable properties for federated…

Machine Learning · Computer Science 2022-06-14 Ekdeep Singh Lubana , Chi Ian Tang , Fahim Kawsar , Robert P. Dick , Akhil Mathur

Identifying temporal relations between events is an essential step towards natural language understanding. However, the temporal relation between two events in a story depends on, and is often dictated by, relations among other events.…

Computation and Language · Computer Science 2019-06-13 Qiang Ning , Zhili Feng , Dan Roth

In everyday life collaboration tasks between human operators and robots, the former necessitate simple ways for programming new skills, the latter have to show adaptive capabilities to cope with environmental changes. The joint use of…

Robotics · Computer Science 2023-09-15 Rocco Felici , Matteo Saveriano , Loris Roveda , Antonio Paolillo

Given a query, the task of Natural Language Video Localization (NLVL) is to localize a temporal moment in an untrimmed video that semantically matches the query. In this paper, we adopt a proposal-based solution that generates proposals…

Computer Vision and Pattern Recognition · Computer Science 2023-08-22 Jing Wang , Aixin Sun , Hao Zhang , Xiaoli Li

Self-supervised speech models can be trained to efficiently recognize spoken words in naturalistic, noisy environments. However, we do not understand the types of linguistic representations these models use to accomplish this task. To…

Computation and Language · Computer Science 2025-09-30 Jon Gauthier , Canaan Breiss , Matthew Leonard , Edward F. Chang

In the current era of Machine Learning, Transformers have become the de facto approach across a variety of domains, such as computer vision and natural language processing. Transformer-based solutions are the backbone of current…

Computer Vision and Pattern Recognition · Computer Science 2025-01-16 Mihai Masala , Marius Leordeanu

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a…

Computation and Language · Computer Science 2013-02-21 Khalil Riad Bouzidi , Catherine Faron-Zucker , Bruno Fies , Olivier Corby , Le-Thanh Nhan

The abundance of instructional videos and their narrations over the Internet offers an exciting avenue for understanding procedural activities. In this work, we propose to learn video representation that encodes both action steps and their…

Computer Vision and Pattern Recognition · Computer Science 2023-04-03 Yiwu Zhong , Licheng Yu , Yang Bai , Shangwen Li , Xueting Yan , Yin Li

Process modeling is a suitable tool for improving the business processes. Successful process modeling strongly depends on correct requirements engineering. In this paper, we proposed a combination approach for requirements elicitation for…

Software Engineering · Computer Science 2017-05-12 Masoud Nosrati