中文
相关论文

相关论文: Service Choreography, SBVR, and Time

200 篇论文

Network virtualization enables Internet service providers to run multiple heterogeneous and dedicated network architectures for different customers on a shared substrate. In existing works on virtual network embedding (VNE), each customer…

网络与互联网体系结构 · 计算机科学 2023-07-13 Jiangnan Cheng , Yingjie Bi , Ao Tang

Visual commonsense reasoning (VCR) is a challenging multi-modal task, which requires high-level cognition and commonsense reasoning ability about the real world. In recent years, large-scale pre-training approaches have been developed and…

计算机视觉与模式识别 · 计算机科学 2023-11-10 Cheng Yang , Rui Xu , Ye Guo , Peixiang Huang , Yiru Chen , Wenkui Ding , Zhongyuan Wang , Hong Zhou

We propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are started when a set of contracts allows to synthesise a…

计算机科学中的逻辑 · 计算机科学 2013-10-18 Julien Lange , Alceste Scalas

The automatic composition of web services refers to how services can be used in a complex and aggregate manner, to serve a specific and known functionality. Given a list of services described by the input and output parameters, and a…

软件工程 · 计算机科学 2020-07-13 Paul Diac

Visual Servoing has been effectively used to move a robot into specific target locations or to track a recorded demonstration. It does not require manual programming, but it is typically limited to settings where one demonstration maps to…

机器人学 · 计算机科学 2022-05-18 Sergio Izquierdo , Max Argus , Thomas Brox

Skeleton-aware sign language recognition (SLR) has gained popularity due to its ability to remain unaffected by background information and its lower computational requirements. Current methods utilize spatial graph modules and temporal…

计算机视觉与模式识别 · 计算机科学 2024-03-20 Lianyu Hu , Liqing Gao , Zekang Liu , Wei Feng

The size and complexity of software and hardware systems have significantly increased in the past years. As a result, it is harder to guarantee their correct behavior. One of the most successful methods for automated verification of…

人工智能 · 计算机科学 2011-07-04 O. Grumberg , S. Livne , S. Markovitch

Referring to objects in a natural and unambiguous manner is crucial for effective human-robot interaction. Previous research on learning-based referring expressions has focused primarily on comprehension tasks, while generating referring…

机器人学 · 计算机科学 2021-04-20 Fethiye Irmak Doğan , Sinan Kalkan , Iolanda Leite

Several applications demand the timely detection of critical situations, such as threats to safety and transparency, over high-velocity streams of symbolic events. This demand has motivated the development of (i) event specification…

人工智能 · 计算机科学 2026-05-05 Periklis Mantenoglou

Session-based Recommendation (SBR) refers to the task of predicting the next item based on short-term user behaviors within an anonymous session. However, session embedding learned by a non-linear encoder is usually not in the same…

信息检索 · 计算机科学 2022-04-26 Yupeng Hou , Binbin Hu , Zhiqiang Zhang , Wayne Xin Zhao

Hand gesture-based sign language recognition (SLR) is one of the most advanced applications of machine learning, and computer vision uses hand gestures. Although, in the past few years, many researchers have widely explored and studied how…

计算机视觉与模式识别 · 计算机科学 2024-08-27 Abu Saleh Musa Miah , Md. Al Mehedi Hasan , Md Hadiuzzaman , Muhammad Nazrul Islam , Jungpil Shin

The impact of globalization and worldwide competition has forced firms to modify their strategies towards a real time operation with respect to customer's requirements. This behaviour, together with the communication possibilities offered…

多智能体系统 · 计算机科学 2018-11-06 Yacine Ouzrout , Matteo Savino , Abdelaziz Bouras , Carlo Di Domenico

In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time…

分布式、并行与集群计算 · 计算机科学 2021-06-07 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro

Social coordination allows users to move beyond awareness of their friends to efficiently coordinating physical activities with others. While specific forms of social coordination can be seen in tools such as Evite, Meetup and Groupon, we…

数据库 · 计算机科学 2012-08-20 Jianjun Chen , Ashwin Machanavajjhala , George Varghese

The Adaptable TeaStore has recently been proposed as a reference model for adaptable microservice architectures. It includes different configurations, as well as scenarios requiring to transition between them. We describe an implementation…

编程语言 · 计算机科学 2025-12-30 Giuseppe De Palma , Saverio Giallorenzo , Ivan Lanese , Gianluigi Zavattaro

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every…

编程语言 · 计算机科学 2011-01-26 Maria Grazia Buscemi , Hernán Melgratti

Situated conversational recommendation (SCR), which utilizes visual scenes grounded in specific environments and natural language dialogue to deliver contextually appropriate recommendations, has emerged as a promising research direction…

人工智能 · 计算机科学 2026-04-23 Dongding Lin , Jian Wang , Yongqi Li , Wenjie Li

Language-driven object navigation requires agents to interpret natural language descriptions of target objects, which combine intrinsic and extrinsic attributes for instance recognition and commonsense navigation. Existing methods either…

计算机视觉与模式识别 · 计算机科学 2026-02-10 Francesco Taioli , Shiping Yang , Sonia Raychaudhuri , Marco Cristani , Unnat Jain , Angel X Chang

Tracking entities throughout a procedure described in a text is challenging due to the dynamic nature of the world described in the process. Firstly, we propose to formulate this task as a question answering problem. This enables us to use…

计算与语言 · 计算机科学 2021-04-16 Hossein Rajaby Faghihi , Parisa Kordjamshidi

Syntax is fundamental to our thinking about language. Failing to capture the structure of input language could lead to generalization problems and over-parametrization. In the present work, we propose a new syntax-aware language model:…

计算与语言 · 计算机科学 2021-05-12 Yikang Shen , Shawn Tan , Alessandro Sordoni , Siva Reddy , Aaron Courville