English
Related papers

Related papers: IVOA recommendation: Parameter Description Languag…

200 papers

The given paper presents an overview of modern RESTful API description languages (belongs to interface description languages set) - OpenAPI, RAML, WADL, Slate - designed to provide a structured description of a RESTful web APIs (that is…

Software Engineering · Computer Science 2020-03-27 Kyrylo Malakhov , Oleksandr Kurgaev , Vitalii Velychko

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can…

Logic in Computer Science · Computer Science 2007-05-23 Ian Horrocks , Ulrike Sattler , Stephan Tobies

This paper introduces a new notion of dimensionality of probabilistic models from an information-theoretic view point. We call it the "descriptive dimension"(Ddim). We show that Ddim coincides with the number of independent parameters for…

Machine Learning · Computer Science 2019-10-28 Kenji Yamanishi

We define a domain-specific language (DSL) to inductively assemble flow networks from small networks or modules to produce arbitrarily large ones, with interchangeable functionally-equivalent parts. Our small networks or modules are "small"…

Programming Languages · Computer Science 2011-09-06 Azer Bestavros , Assaf Kfoury

Since its establishment, propositional dynamic logic (PDL) has been a subject of intensive academic research and frequent use in the industry. We have studied the complexity of some PDL problems and in this paper, we show results for some…

Logic in Computer Science · Computer Science 2024-01-23 Mohammad Javad Hosseinpour , Farzad Didehvar

Planning is a fundamental activity, arising frequently in many contexts, from daily tasks to industrial processes. The planning task consists of selecting a sequence of actions to achieve a specified goal from specified initial conditions.…

Artificial Intelligence · Computer Science 2024-12-10 Carla Davesa Sureda , Joan Espasa Arxer , Ian Miguel , Mateu Villaret Auselle

MPEG-7 (Moving Picture Experts Group Phase 7) is an XML-based international standard on semantic description of multimedia content. This document discusses the Linguistic DS and related tools. The linguistic DS is a tool, based on the GDA…

Computation and Language · Computer Science 2007-05-23 Koiti Hasida

This note presents some representative methods which are based on dictionary learning (DL) for classification. We do not review the sophisticated methods or frameworks that involve DL for classification, such as online DL and spatial…

Computer Vision and Pattern Recognition · Computer Science 2012-05-31 Shu Kong , Donghui Wang

This paper presents a SysML profile that enables the direct integration of planning semantics based on the Planning Domain Definition Language (PDDL) into system models. Reusable stereotypes are defined for key PDDL concepts such as types,…

Artificial Intelligence · Computer Science 2025-06-10 Hamied Nabizada , Tom Jeleniewski , Lasse Beers , Maximilian Weigand , Felix Gehlhoff , Alexander Fay

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration. Indeed ADLs (architecture description languages) let…

Software Engineering · Computer Science 2012-05-22 Leonardo Minora , Jérémy Buisson , Flavio Oquendo , Thais Batista

This paper provides a primer on Large Language Models (LLMs) and identifies their strengths, limitations, applications and research directions. It is intended to be useful to those in academia and industry who are interested in gaining an…

Computation and Language · Computer Science 2024-12-09 Sandra Johnson , David Hyland-Wood

XML is a standard and universal language for representing information. XML processing is supported by two key frameworks: DOM and SAX. SAX is efficient, but leaves the developer to encode much of the processing. This paper introduces a…

Formal Languages and Automata Theory · Computer Science 2015-06-11 Tony Clark

The Planning Domain Definition Language (PDDL) is the state-of-the-art language for specifying planning problems in artificial intelligence research. Writing and maintaining these planning problems, however, can be time-consuming and error…

Human-Computer Interaction · Computer Science 2020-08-26 Volker Strobel , Alexandra Kirsch

Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications are stated and an interpretation function that translates…

Logic in Computer Science · Computer Science 2023-10-06 Natalia Ślusarz , Ekaterina Komendantskaya , Matthew L. Daggitt , Robert Stewart , Kathrin Stark

This note presents some representative methods which are based on dictionary learning (DL) for classification. We do not review the sophisticated methods or frameworks that involve DL for classification, such as online DL and spatial…

Computer Vision and Pattern Recognition · Computer Science 2012-05-31 Kong Shu , Wang Donghui

Digital Archive to MPEG-21 DIDL (D2D) analyzes the contents of the digital archive and produces an MPEG-21 Digital Item Declaration Language (DIDL) encapsulating the analysis results. DIDL is an extensible XML-based language that aggregates…

Digital Libraries · Computer Science 2007-05-23 Suchitra Manepalli , Giridhar Manepalli , Michael L. Nelson

We define XPathLog as a Datalog-style extension of XPath. XPathLog provides a clear, declarative language for querying and manipulating XML whose perspectives are especially in XML data integration. In our characterization, the formal…

Databases · Computer Science 2007-05-23 Wolfgang May

PyPM is a Python-based domain specific language (DSL) for building rewrite-based optimization passes on machine learning computation graphs. Users define individual optimizations by writing (a) patterns that match subgraphs of a computation…

Programming Languages · Computer Science 2024-12-19 Joseph W. Cutler , Alex Collins , Bin Fan , Mahesh Ravishankar , Vinod Grover

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

Software Engineering · Computer Science 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

The Model Context Protocol (MCP) is the standard interface between large language model (LLM) agents and external tools. At organizational scale, however, it exposes two structural problems. First, every API integration is shipped as a…

Software Engineering · Computer Science 2026-05-08 Axel Dunkel