English
Related papers

Related papers: The Coron System

200 papers

Robots are man made machines which are used to accomplish the tasks. Robots are mainly used to do complex tasks and work in hazardous environment where humans are difficult to work. They are not only designed to use in hazardous environment…

Robotics · Computer Science 2022-11-08 Vishnu Vardhan Reddy Palli

Search algorithms are applied where data retrieval with specified specifications is required. The motivation behind developing search algorithms in Functional Object-Oriented Networks is that most of the time, a certain recipe needs to be…

Robotics · Computer Science 2022-11-17 Kundana Mandapaka

With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these…

Programming Languages · Computer Science 2025-06-03 Son Ho , Guillaume Boisseau , Lucas Franceschino , Yoann Prak , Aymeric Fromherz , Jonathan Protzenko

A scientific instrument comprised of a global network of millions of independent, connected, remote devices presents unique data acquisition challenges. We describe the software design of a mobile application which collects data from…

Instrumentation and Methods for Astrophysics · Physics 2021-08-11 Jeff Swaney , Chase Shimmin , Daniel Whiteson

A COllective INtelligence (COIN) is a set of interacting reinforcement learning (RL) algorithms designed in an automated fashion so that their collective behavior optimizes a global utility function. We summarize the theory of COINs, then…

Machine Learning · Computer Science 2007-05-23 David H. Wolpert , Kagan Tumer , Jeremy Frank

BEANS software is a web based, easy to install and maintain, new tool to store and analyse data in a distributed way for a massive amount of data. It provides a clear interface for querying, filtering, aggregating, and plotting data from an…

Instrumentation and Methods for Astrophysics · Physics 2016-03-25 Arkadiusz Hypki

This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint additions and/or retractions (without any propagation),…

Software Engineering · Computer Science 2007-05-23 Samir Ouis , Narendra Jussien , Patrice Boizumault

A data commons is a cloud-based data platform with a governance structure that allows a community to manage, analyze and share its data. Data commons provide a research community with the ability to manage and analyze large datasets using…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-25 Robert L. Grossman

We suggest systems mining as the next step after process mining. Systems mining starts with a more careful investigation of runs, and constructs a detailed model of behavior, more subtle than classical process mining. The resulting model is…

Software Engineering · Computer Science 2022-06-14 Peter Fettke , Wolfgang Reisig

Data Mining is the process of extracting useful patterns from the huge amount of database and many data mining techniques are used for mining these patterns. Recently, one of the remarkable facts in higher educational institute is the rapid…

Artificial Intelligence · Computer Science 2014-05-16 Priyanka Saini

One of the central knowledge sources of an information extraction system is a dictionary of linguistic patterns that can be used to identify the conceptual content of a text. This paper describes CRYSTAL, a system which automatically…

cmp-lg · Computer Science 2008-02-03 Stephen Soderland , David Fisher , Jonathan Aseltine , Wendy Lehnert

Terminology extraction, also known as term extraction, is a subtask of information extraction. The goal of terminology extraction is to extract relevant words or phrases from a given corpus automatically. This paper focuses on the…

Computation and Language · Computer Science 2021-01-25 Suman Dowlagar , Radhika Mamidi

The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge. This background knowledge plays a crucial role in…

Artificial Intelligence · Computer Science 2020-01-01 Claudia Schon , Sophie Siebert , Frieder Stolzenburg

TOPCAT is a desktop GUI tool for working with tabular data such as source catalogues. Among other capabilities it provides a rich set of visualisation options suitable for interactive exploration of large datasets. The latest release…

Instrumentation and Methods for Astrophysics · Physics 2024-01-03 Mark Taylor

www.processmining-software.com is a dedicated website for process mining software comparison and was developed to give practitioners and researchers an overview of commercial tools available on the market. Based on literature review and…

Software Engineering · Computer Science 2021-02-05 Daniel Viner , Matthias Stierle , Martin Matzner

Robots can complete all human-performed tasks, but due to their current lack of knowledge, some tasks still cannot be completed by them with a high degree of success. However, with the right knowledge, these tasks can be completed by robots…

Robotics · Computer Science 2022-11-17 Naseem Shaik

The discipline of process mining aims to study processes in a data-driven manner by analyzing historical process executions, often employing Petri nets. Event data, extracted from information systems (e.g. SAP), serve as the starting point…

Artificial Intelligence · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Association rule mining is a time consuming process due to involving both data intensive and computation intensive nature. In order to mine large volume of data and to enhance the scalability and performance of existing sequential…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-09-25 Sudhakar Singh , Rakhi Garg , P. K. Mishra

Cryptocurrencies and Web3 applications based on blockchain technology have flourished in the blockchain research field. Unlike Bitcoin and Ethereum, due to its unique architectural designs in consensus mechanisms, resource management, and…

Cryptography and Security · Computer Science 2025-09-23 Qian'ang Mao , Jiaxin Wang , Zhiqi Feng , Yi Zhang , Jiaqi Yan

We propose there is a need for a technical platform enabling people to engage with the collection, management and consumption of personal data; and that this platform should itself be personal, under the direct control of the individual…

Computers and Society · Computer Science 2015-01-21 Hamed Haddadi , Heidi Howard , Amir Chaudhry , Jon Crowcroft , Anil Madhavapeddy , Richard Mortier