English
Related papers

Related papers: Owl: A General-Purpose Numerical Library in OCaml

200 papers

Seven years on from OWL becoming a W3C recommendation, and two years on from the more recent OWL 2 W3C recommendation, OWL has still experienced only patchy uptake on the Web. Although certain OWL features (like owl:sameAs) are very…

Digital Libraries · Computer Science 2015-03-20 Birte Glimm , Aidan Hogan , Markus Krötzsch , Axel Polleres

The project of the Ontology Web Search Engine is presented in this paper. The main purpose of this paper is to develop such a project that can be easily implemented. Ontology Web Search Engine is software to look for and index ontologies in…

Information Retrieval · Computer Science 2015-05-05 Olegs Verhodubs

We report on the experience of developing Merlin, a language server for the OCaml programming language in development since 2013. Merlin is a daemon that connects to your favourite text editor and provides services that require a…

Programming Languages · Computer Science 2018-10-03 Frédéric Bour , Thomas Refis , Gabriel Scherer

ObjectRL is an open-source Python codebase for deep reinforcement learning (RL), designed for research-oriented prototyping with minimal programming effort. Unlike existing codebases, ObjectRL is built on Object-Oriented Programming (OOP)…

Machine Learning · Computer Science 2025-07-08 Gulcin Baykal , Abdullah Akgül , Manuel Haussmann , Bahareh Tasdighi , Nicklas Werge , Yi-Shan Wu , Melih Kandemir

MiniJava is a subset of the object-oriented programming language Java. Standard ML is the canonical representative of the ML family of functional programming languages, which includes F# and OCaml. Different program analysis and…

Programming Languages · Computer Science 2021-01-01 Martin Mariusz Lester

Continual Learning (CL) aims to incrementally acquire new knowledge while mitigating catastrophic forgetting. Within this setting, Online Continual Learning (OCL) focuses on updating models promptly and incrementally from single or small…

Machine Learning · Computer Science 2025-12-19 Giovanni Donghi , Luca Pasa , Daniele Zambon , Cesare Alippi , Nicolò Navarin

OLAF (Open Life Science Analysis Framework) is an open-source platform that enables researchers to perform bioinformatics analyses using natural language. By combining large language models (LLMs) with a modular agent-pipe-router…

Quantitative Methods · Quantitative Biology 2025-04-14 Dylan Riffle , Nima Shirooni , Cody He , Manush Murali , Sovit Nayak , Rishikumar Gopalan , Diego Gonzalez Lopez

Ontologies are built on systems that conceptually evolve over time. In addition, techniques and languages for building ontologies evolve too. This has led to numerous studies in the field of ontology versioning and ontology evolution. This…

Software Engineering · Computer Science 2012-08-09 Perrine Pittet , Christophe Nicolle , Christophe Cruz

Scientific legacy code in MATLAB/Octave not compatible with modernization of research workflows is vastly abundant throughout academic community. Performance of non-vectorized code written in MATLAB/Octave represents a major burden. A new…

Software Engineering · Computer Science 2017-01-10 Vardan Andriasyan , Yauhen Yakimovich , Artur Yakimovich

Metadata vocabularies are used in various domains of study. It provides an in-depth description of the resources. In this work, we develop Algorithm Metadata Vocabulary (AMV), a vocabulary for capturing and storing the metadata about the…

Artificial Intelligence · Computer Science 2021-06-08 Biswanath Dutta , Jyotima Patel

Robotic Template Library (RTL) is a set of tools for dealing with geometry and point cloud processing, especially in robotic applications. The software package covers basic objects such as vectors, line segments, quaternions, rigid…

Robotics · Computer Science 2021-11-02 Ales Jelinek , Adam Ligocki , Ludek Zalud

Unified modelling language (UML) 2.0 introduced in 2002 has been developing and influencing object-oriented software engineering and has become a standard and reference for information system analysis and design modelling. There are many…

Software Engineering · Computer Science 2010-06-10 Spits Warnars

We introduce a perception-related function, OWL, designed to address the complex challenges of 3D perception during motion. It derives its values directly from two fundamental visual motion cues, with one set of cue values per point per…

Computer Vision and Pattern Recognition · Computer Science 2026-03-09 Daniel Raviv , Juan D. Yepes

Object-centric learning (OCL) seeks to learn representations that only encode an object, isolated from other objects or background cues in a scene. This approach underpins various aims, including out-of-distribution (OOD) generalization,…

Computer Vision and Pattern Recognition · Computer Science 2025-04-14 Alexander Rubinstein , Ameya Prabhu , Matthias Bethge , Seong Joon Oh

Large language models (LLMs) have demonstrated impressive zero-shot abilities on a variety of open-ended tasks, while recent research has also explored the use of LLMs for multi-modal generation. In this study, we introduce mPLUG-Owl, a…

OptControl.jl(OptControl) implements that modeling optimal control problems with symbolic algebra system based on Julia language, and generates the corresponding numerical optimization codes to solve them with packages from Julia.…

Optimization and Control · Mathematics 2022-08-02 Jingyi Yang , Yuebao Yang , Mingtao Li

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-world assumption,…

Logic in Computer Science · Computer Science 2026-01-21 Anouk Oudshoorn , Magdalena Ortiz , Mantas Simkus

Speculative decoding promises faster inference for large language models (LLMs), yet existing methods fail to generalize to real-world settings. Benchmarks typically assume short contexts (e.g., 2K tokens), whereas practical workloads…

Computation and Language · Computer Science 2025-10-10 Jaeseong Lee , seung-won hwang , Aurick Qiao , Gabriele Oliaro , Ye Wang , Samyam Rajbhandari

Flow diagrams are a common tool used to help build and interpret models of dynamical systems, often in biological contexts such as consumer-resource models and similar compartmental models. Typically, their usage is intuitive and informal.…

Quantitative Methods · Quantitative Biology 2016-06-10 C. Brandon Ogbunugafor , Sean P. Robinson

Integrating Internet of Things (IoT) data with business process event logs is crucial for analysing IoT-enhanced processes, yet remains challenging due to differences in abstraction levels and the separation of data sources. Simply…

Software Engineering · Computer Science 2026-03-10 Jia Wei , Xin Su , Chun Ouyang