English
Related papers

Related papers: Approximating Mathematical Semantic Web Services U…

200 papers

We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of images containing complex objects. As other approaches do, we…

Artificial Intelligence · Computer Science 2011-09-08 E. Di Sciascio , F. M. Donini , M. Mongiello

We survey key techniques and results from approximation theory in the context of uniform approximations to real functions such as e^{-x}, 1/x, and x^k. We then present a selection of results demonstrating how such approximations can be used…

Data Structures and Algorithms · Computer Science 2013-09-20 Sushant Sachdeva , Nisheeth Vishnoi

We report a series of experiments with different semantic models on top of various statistical models for extractive text summarization. Though statistical models may better capture word co-occurrences and distribution around the text, they…

Computation and Language · Computer Science 2018-05-21 Divyanshu Daiya , Anukarsh Singh , Mukesh Jadon

Static analysis by abstract interpretation aims at automatically proving properties of computer programs. To do this, an over-approximation of program semantics, defined as the least fixpoint of a system of semantic equations, must be…

Programming Languages · Computer Science 2013-05-02 Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot

Semantic text similarity plays an important role in software engineering tasks in which engineers are requested to clarify the semantics of descriptive labels (e.g., business terms, table column names) that are often consists of too short…

Computation and Language · Computer Science 2023-10-31 Toshihiro Takahashi , Takaaki Tateishi , Michiaki Tatsubori

A high-quality content analysis is essential for retrieval functionalities but the manual extraction of key phrases and classification is expensive. Natural language processing provides a framework to automatize the process. Here, a…

Computation and Language · Computer Science 2013-07-01 Ulf Schöneberg , Wolfram Sperber

The modern geographic information retrieval technology is based on quantitative models and methods. The semantic information in web documents and queries cannot be effectively represented, leading to information lost or misunderstanding so…

Information Retrieval · Computer Science 2013-11-20 Yong Gao , Lei Liu , Xing Lin , Yu Liu

Mathematical notation makes up a large portion of STEM literature, yet finding semantic representations for formulae remains a challenging problem. Because mathematical notation is precise, and its meaning changes significantly with small…

Computation and Language · Computer Science 2023-09-06 Neeraj Gangwar , Nickvash Kani

Semantic Web technologies offer the prospect of significantly reducing the amount of effort required to integrate existing enterprise functionality in support of new composite processes; whether within a given organization or across…

Software Engineering · Computer Science 2020-06-04 Jinghai Rao , Dimitar Dimitrov , Paul Hofmann , Norman Sadeh

The measurement of phrasal semantic relatedness is an important metric for many natural language processing applications. In this paper, we present three approaches for measuring phrasal semantics, one based on a semantic network model,…

Computation and Language · Computer Science 2017-08-22 Reda Siblini , Leila Kosseim

Query sensitive summarization aims at providing the users with the summary of the contents of single or multiple web pages based on the search query. This paper proposes a novel idea of generating a comparative summary from a set of URLs…

Information Retrieval · Computer Science 2012-01-12 P. Chitra , R. Baskaran , K. Sarukesi

Sentence splitting is a major simplification operator. Here we present a simple and efficient splitting algorithm based on an automatic semantic parser. After splitting, the text is amenable for further fine-tuned simplification operations.…

Computation and Language · Computer Science 2018-10-12 Elior Sulem , Omri Abend , Ari Rappoport

Machine translation has wide applications in daily life. In mission-critical applications such as translating official documents, incorrect translation can have unpleasant or sometimes catastrophic consequences. This motivates recent…

Software Engineering · Computer Science 2022-04-07 Jialun Cao , Meiziniu Li , Yeting Li , Ming Wen , Shing-Chi Cheung

Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems systems with precise grammars and rules of use. Building on such foundations, computational proof…

History and Overview · Mathematics 2023-11-07 Jeremy Avigad

Sentence similarity is considered the basis of many natural language tasks such as information retrieval, question answering and text summarization. The semantic meaning between compared text fragments is based on the words semantic…

Information Retrieval · Computer Science 2016-10-17 Issa Atoum , Ahmed Otoom , Narayanan Kulathuramaiyer

In this paper, we study a functional programming approach to natural language semantics, allowing us to increase the expressiveness of a more traditional denotation style. We will formalize a category based type and effect system to…

Computation and Language · Computer Science 2025-07-24 Matthieu Pierre Boyer

In the field of machine learning, data understanding is the practice of getting initial insights in unknown datasets. Such knowledge-intensive tasks require a lot of documentation, which is necessary for data scientists to grasp the meaning…

Databases · Computer Science 2018-06-14 Markus Schröder , Christian Jilek , Jörn Hees , Andreas Dengel

Business process modelers need to have expertise and knowledge of the domain that may not always be available to them. Therefore, they may benefit from tools that mine collections of existing processes and recommend element(s) to be added…

Software Engineering · Computer Science 2021-05-25 Maayan Goldstein , Cecilia Gonzalez-Alvarez

We consider approximation by functions with finite support and characterize its approximation spaces in terms of interpolation spaces and Lorentz spaces.

Classical Analysis and ODEs · Mathematics 2017-07-05 Bo Ling , Yongping Liu

As the World Wide Web is growing rapidly, it is getting increasingly challenging to gather representative information about it. Instead of crawling the web exhaustively one has to resort to other techniques like sampling to determine the…

Data Structures and Algorithms · Computer Science 2009-02-11 Eda Baykan , Monika Henzinger , Stefan F. Keller , Sebastian De Castelberg , Markus Kinzler