中文
相关论文

相关论文: Evaluating Dynamic Linking through the Query Proce…

200 篇论文

A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak and it is structurally simpler than its predecessors with the…

机器人学 · 计算机科学 2016-11-11 Paolo Izzo , Hongyang Qu , Sandor M. Veres

Arguments about correctness of a concurrent data structure are typically carried out by using the notion of linearizability and specifying the linearization points of the data structure's procedures. Such arguments are often cumbersome as…

计算机科学中的逻辑 · 计算机科学 2017-01-19 Germán Andrés Delbianco , Ilya Sergey , Aleksandar Nanevski , Anindya Banerjee

Accurately linking news articles to scientific research works is a critical component in a number of applications, such as measuring the social impact of a research work and detecting inaccuracies or distortions in science news. Although…

信息检索 · 计算机科学 2021-07-15 Jun Wang , Bei Yu

This paper develops an agent-based automated fact-checking approach for detecting misinformation. We demonstrate that combining a powerful LLM agent, which does not have access to the internet for searches, with an online web search agent…

A conventional approach to entity linking is to first find mentions in a given document and then infer their underlying entities in the knowledge base. A well-known limitation of this approach is that it requires finding mentions without…

计算与语言 · 计算机科学 2022-03-09 Wenzheng Zhang , Wenyue Hua , Karl Stratos

We develop a formal grammatical system called a link grammar, show how English grammar can be encoded in such a system, and give algorithms for efficiently parsing with a link grammar. Although the expressive power of link grammars is…

cmp-lg · 计算机科学 2008-02-03 Daniel D. K. Sleator , Davy Temperley

The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behavior. Previous work has focused on static networks with an a…

形式语言与自动机理论 · 计算机科学 2020-09-24 Béatrice Bérard , Benedikt Bollig , Patricia Bouyer , Matthias Függer , Nathalie Sznajder

Scientific publishing seems to be at a turning point. Its paradigm has stayed basically the same for 300 years but is now challenged by the increasing volume of articles that makes it very hard for scientists to stay up to date in their…

数字图书馆 · 计算机科学 2019-10-09 Cristina-Iulia Bucur , Tobias Kuhn , Davide Ceolin

Mobile devices are often presented with multiple connectivity options usually making a selection either randomly or based on load/wireless conditions metrics, as is the case of current offloading schemes. In this paper we claim that…

网络与互联网体系结构 · 计算机科学 2016-02-02 Konstantinos V. Katsaros , Vasilis Sourlas , Ioannis Psaras , Sergi Rene , George Pavlou

The link prediction task on knowledge graphs without explicit negative triples in the training data motivates the usage of rank-based metrics. Here, we review existing rank-based metrics and propose desiderata for improved metrics to…

机器学习 · 计算机科学 2022-04-20 Charles Tapley Hoyt , Max Berrendorf , Mikhail Galkin , Volker Tresp , Benjamin M. Gyori

Recent advancement in web services plays an important role in business to business and business to consumer interaction. Discovery mechanism is not only used to find a suitable service but also provides collaboration between service…

人工智能 · 计算机科学 2010-04-28 Saba Bashir , Farhan Hassan Khan , M. Younus Javed , Aihab Khan , Malik Sikandar Hayat Khiyal

Powerful detectors at modern experimental facilities routinely collect data at multiple GB/s. Online analysis methods are needed to enable the collection of only interesting subsets of such massive data streams, such as by explicitly…

In this paper, we propose a novel system that integrates state-of-the-art, domain-specific large language models with advanced information retrieval techniques to deliver comprehensive and context-aware responses. Our approach facilitates…

The usage and amount of information available on the internet increase over the past decade. This digitization leads to the need for automated answering system to extract fruitful information from redundant and transitional knowledge…

计算与语言 · 计算机科学 2022-02-03 Hariom A. Pandya , Brijesh S. Bhatt

The growth of world-wide-web (WWW) spreads its wings from an intangible quantities of web-pages to a gigantic hub of web information which gradually increases the complexity of crawling process in a search engine. A search engine handles a…

机器学习 · 计算机科学 2012-08-15 Sudarshan Nandy , Partha Pratim Sarkar , Achintya Das

The recruitment process is a slow and inefficient one at best, and a potentially ineffective one at worst. Matching candidates to jobs is one thing, but matching candidates with jobs alongside appropriate expectations and taking into…

计算机与社会 · 计算机科学 2016-08-24 Martin A. Coleman

Solving mathematical reasoning problems requires not only accurate access to relevant knowledge but also careful, multi-step thinking. However, current retrieval-augmented models often rely on a single perspective, follow inflexible search…

人工智能 · 计算机科学 2025-11-03 Ali Asgarov , Umid Suleymanov , Aadyant Khatri

The ability to repeat the experiments from a research study and obtain similar results is a corner stone in experiment-based scientific discovery. This essential feature has been often ignored by the distributed computing and networking…

网络与互联网体系结构 · 计算机科学 2014-10-08 Thierry Rakotoarivelo , Guillaume Jourjon , Olivier Mehani , Maximilian Ott , Mike Zink

Modern application domains such as Composite Event Recognition (CER) and real-time Analytics require the ability to dynamically refresh query results under high update rates. Traditional approaches to this problem are based either on the…

数据库 · 计算机科学 2019-05-27 Muhammad Idris , Martín Ugarte , Stijn Vansummeren , Hannes Voigt , Wolfgang Lehner

Entity linking involves aligning textual mentions of named entities to their corresponding entries in a knowledge base. Entity linking systems often exploit relations between textual mentions in a document (e.g., coreference) to decide if…

计算与语言 · 计算机科学 2018-05-01 Phong Le , Ivan Titov