English
Related papers

Related papers: SWiM -- A Semantic Wiki for Mathematical Knowledge…

200 papers

Web space is the huge repository of data. Everyday lots of new information get added to this web space. The more the information, more is demand for tools to access that information. Answering users' queries about the online information…

Information Retrieval · Computer Science 2012-06-19 Sudhir Ahuja , Mr. Rinkaj Goyal

Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately,…

Digital Libraries · Computer Science 2011-05-13 Serge Autexier , Catalin David , Dominik Dietrich , Michael Kohlhase , Vyacheslav Zholudev

Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented representations. How exactly to support this process so that it…

Digital Libraries · Computer Science 2010-10-29 Constantin Jucovschi

Semantic mapping is the incremental process of "mapping" relevant information of the world (i.e., spatial information, temporal events, agents and actions) to a formal description supported by a reasoning engine. Current research focuses on…

Robotics · Computer Science 2016-06-14 Roberto Capobianco , Jacopo Serafin , Johann Dichtl , Giorgio Grisetti , Luca Iocchi , Daniele Nardi

The Web is ubiquitous, increasingly populated with interconnected data, services, people, and objects. Semantic web technologies (SWT) promote uniformity of data formats, as well as modularization and reuse of specifications (e.g.,…

Software Engineering · Computer Science 2020-03-11 Alaa Daoud

Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an…

Symbolic Computation · Computer Science 2013-07-31 Adel Bouhoula , Tetsuo Ida , Fairouz Kamareddine

While a great effort has concerned the development of fully integrated modular understanding systems, few researches have focused on the problem of unifying existing linguistic formalisms with cognitive processing models. The Situated…

Computation and Language · Computer Science 2007-05-23 Guillaume Pitel

The recent efforts in automation of machine learning or data science has achieved success in various tasks such as hyper-parameter optimization or model selection. However, key areas such as utilizing domain knowledge and data semantics are…

Artificial Intelligence · Computer Science 2023-03-03 Udayan Khurana , Kavitha Srinivas , Sainyam Galhotra , Horst Samulowitz

The aim of this paper is to introduce the idea of the Semantic Web to the Complexity community and set a basic ground for a project resulting in creation of Internet-based semantic network of Complexity-related information providers.…

Networking and Internet Architecture · Computer Science 2007-05-23 M. Marko , M. A. Porter , A. Probst , C. Gershenson , A. Das

The Internet of Things (IoT) is expected to grow into billions of devices in the near future. Evaluating mechanisms such as networking architectures for communications in the IoT require the use of simulators due to the scale of the size of…

Networking and Internet Architecture · Computer Science 2016-09-19 Asanga Udugama , Behruz Khalilov , Anas Bin Muslim , Anna Förster

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

In recent years, the surge in unstructured data analysis, facilitated by advancements in Machine Learning (ML), has prompted diverse approaches for handling images, text documents, and videos. Analysts, leveraging ML models, can extract…

Databases · Computer Science 2024-04-08 Akash Mittal , Anshul Bheemreddy , Huili Tao

The Thesaurus for the Social Sciences (TheSoz) is a Linked Dataset in SKOS format, which serves as a crucial instrument for information retrieval based on e.g. document indexing or search term recommendation. Thesauri and similar controlled…

Digital Libraries · Computer Science 2019-01-15 Benjamin Zapilko , Johann Schaible , Philipp Mayr , Brigitte Mathiak

In this research paper we describe semantic oriented information engineering and knowledge management based solution towards E-Learning systems. We also try to justify the importance of proposed solution with respect to the E-Learning…

Other Computer Science · Computer Science 2010-08-10 Zeeshan Ahmed , Detlef Gerhard

The SemanticWeb emerged as an extension to the traditional Web, towards adding meaning to a distributed Web of structured and linked data. At its core, the concept of ontology provides the means to semantically describe and structure…

Artificial Intelligence · Computer Science 2021-05-03 Konstantinos Sikelis , George E Tsekouras , Konstantinos I Kotis

We present our vision for a departure from the established way of architecting and assessing communication networks, by incorporating the semantics of information for communications and control in networked systems. We define semantics of…

WebAssembly (Wasm) is a portable bytecode format that serves as a compilation target for high-level languages, enabling their secure and efficient execution across diverse platforms, including web browsers and embedded systems. To improve…

Programming Languages · Computer Science 2025-06-23 Byeongjee Kang , Harsh Desai , Limin Jia , Brandon Lucia

Mathematical symbols and descriptions appear in various forms across document section boundaries without explicit markup. In this paper, we present a new large-scale dataset that emphasizes extracting symbols and descriptions in scientific…

Computation and Language · Computer Science 2022-04-27 Viet Dac Lai , Amir Pouran Ben Veyseh , Franck Dernoncourt , Thien Huu Nguyen

Most compositional distributional semantic models represent sentence meaning with a single vector. In this paper, we propose a Structured Distributional Model (SDM) that combines word embeddings with formal semantics and is based on the…

Computation and Language · Computer Science 2019-06-19 Emmanuele Chersoni , Enrico Santus , Ludovica Pannitto , Alessandro Lenci , Philippe Blache , Chu-Ren Huang