Výsledky vyhledávání - "RULE-based programming"
-
1
TabbyXL: Software platform for rule-based spreadsheet data extraction and transformation
ISSN: 2352-7110, 2352-7110Vydáno: Elsevier B.V 01.07.2019Vydáno v SoftwareX (01.07.2019)“…Spreadsheets are widely used in science, engineering, business, and other activities. Overall, they conceal a large volume of data in a form intended to be…”
Získat plný text
Journal Article -
2
Rule-based tools for the configuration of ambient intelligence systems: a comparative user study
ISSN: 1380-7501, 1573-7721Vydáno: New York Springer US 01.02.2017Vydáno v Multimedia tools and applications (01.02.2017)“…This paper describes a 63-participant user study that compares two widely known systems supporting end users in creating trigger-action rules for the Internet…”
Získat plný text
Journal Article -
3
Rule-based spreadsheet data transformation from arbitrary to relational tables
ISSN: 0306-4379, 1873-6076Vydáno: Oxford Elsevier Ltd 01.11.2017Vydáno v Information systems (Oxford) (01.11.2017)“…•Spreadsheet data transformation can be considered as table understanding.•The two-layered table object model represents arbitrary spreadsheet tables.•Our…”
Získat plný text
Journal Article -
4
Design and simulation of a reuse water system for a houseboat using EPANET
ISSN: 2364-4176, 2364-4184Vydáno: Cham Springer International Publishing 01.12.2023Vydáno v Innovative infrastructure solutions : the official journal of the Soil-Structure Interaction Group in Egypt (SSIGE) (01.12.2023)“…Urbanization and climate change are straining water resources, necessitating sustainable solutions. Greywater reuse is of paramount importance as it not only…”
Získat plný text
Journal Article -
5
From imperative to rule-based graph programs
ISSN: 2352-2208Vydáno: 01.04.2017Vydáno v Journal of logical and algebraic methods in programming (01.04.2017)Získat plný text
Journal Article -
6
Rule-driven service coordination middleware for scientific applications
ISSN: 0167-739X, 1872-7115Vydáno: Elsevier B.V 01.06.2014Vydáno v Future generation computer systems (01.06.2014)“…With the proliferation of Web services, scientific applications are more and more designed as temporal compositions of services, commonly referred to as…”
Získat plný text
Journal Article -
7
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
ISSN: 1863-2122, 1863-2122Vydáno: European Association of Software Science and Technology e.V 2019Vydáno v Electronic communications of the EASST (2019)“…Software-defined networks (SDN) offer a high degree of programmabil-ity for handling and forwarding packets. In particular, they allow network administrators…”
Získat plný text
Journal Article -
8
A Chemistry-Inspired Workflow Management System for Decentralizing Workflow Execution
ISSN: 1939-1374, 2372-0204Vydáno: Piscataway IEEE 01.03.2016Vydáno v IEEE transactions on services computing (01.03.2016)“…With the recent widespread adoption of service-oriented architecture, the dynamic composition of services is now a crucial issue in the area of distributed…”
Získat plný text
Journal Article -
9
Rule-based curation and preservation of data: A data grid approach using iRODS
ISSN: 0167-739X, 1872-7115Vydáno: Elsevier B.V 01.04.2009Vydáno v Future generation computer systems (01.04.2009)“…Research is generating large quantities of digital material, much of it irreplaceable, and there is a pressing need to maintain long-term access to it. Not…”
Získat plný text
Journal Article -
10
ELAN from a rewriting logic point of view
ISSN: 0304-3975, 1879-2294Vydáno: Elsevier B.V 28.08.2002Vydáno v Theoretical computer science (28.08.2002)“…ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a…”
Získat plný text
Journal Article -
11
Symbolic and numerical regression: experiments and applications
ISSN: 0020-0255, 1872-6291Vydáno: Elsevier Inc 01.03.2003Vydáno v Information sciences (01.03.2003)“…This paper describes a new method for creating polynomial regression models. The new method is compared with stepwise regression and symbolic regression using…”
Získat plný text
Journal Article -
12
Foundations of the rule-based system ρLog
ISSN: 1166-3081, 1958-5780Vydáno: Taylor & Francis Group 01.01.2006Vydáno v Journal of applied non-classical logics (01.01.2006)“…We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence…”
Získat plný text
Journal Article -
13
Automatic Generation of Proof Tactics for Finite-Valued Logics
ISSN: 2075-2180, 2075-2180Vydáno: Open Publishing Association 30.03.2010Vydáno v Electronic proceedings in theoretical computer science (30.03.2010)“…A number of flexible tactic-based logical frameworks are nowadays available that can implement a wide range of mathematical theories using a common…”
Získat plný text
Journal Article -
14
Enhancing Water Resource Protection: A Data-Driven Approach to Reuse and Recycling in Green Buildings
Vydáno: IEEE 10.12.2024Vydáno v 2024 4th International Conference on Smart City and Green Energy (ICSCGE) (10.12.2024)“…New Zealand has one of the highest average daily freshwater consumption rates among developed nations. Small rural communities in New Zealand face significant…”
Získat plný text
Konferenční příspěvek -
15
A Tutorial on Runtime Verification
ISBN: 9781614992066, 1614992061Vydáno: IOS Press 2013Vydáno v Engineering Dependable Software Systems (2013)“…This tutorial presents an overview of the field referred as to runtime verification. Runtime Verification is the study of algorithms, data structures, and…”
Získat plný text
Kapitola -
16
Ein Beitrag zur Ableitung regelbasierter Modelle aus Zeitreihen
ISBN: 9783937300535, 3937300538ISSN: 1614-5267Vydáno: KIT Scientific Publishing 2005“…Die Arbeit beschäftigt sich mit der automatischen Modellierung des Verhaltens dynamischer Systeme auf Basis numerischer Zeitreihen.Die Grundlage der…”
Získat plný text
E-kniha -
17
Automated Negotiation from Declarative Contract Descriptions
ISSN: 0824-7935, 1467-8640Vydáno: Boston, USA and Oxford, UK Blackwell Publishers Inc 01.11.2002Vydáno v Computational intelligence (01.11.2002)“…Our approach for automating the negotiation of business contracts proceeds in three broad steps. First, determine the structure of the negotiation process by…”
Získat plný text
Journal Article -
18
Developing and evaluating an auto-retrieval algorithm for abbreviations in academic articles
ISSN: 0369-4305Vydáno: Japan 20.08.2009Vydáno v Nippon Hōshasen Gijutsu Gakkai zasshi (20.08.2009)“…The purpose of this study was to develop an automated acquisition support for the semantics of abbreviations and evaluate its performance with respect to…”
Zjistit podrobnosti o přístupu
Journal Article -
19
Order-sorted Equational Unification Revisited
ISSN: 1571-0661, 1571-0661Vydáno: Elsevier B.V 20.12.2012Vydáno v Electronic notes in theoretical computer science (20.12.2012)“…This paper presents a rule-based algorithm for performing order-sorted E-unification using an unsorted E-unification decision procedure under assumptions about…”
Získat plný text
Journal Article -
20
Software Development for Rule-Based Spreadsheet Data Extraction and Transformation
ISSN: 2623-8764Vydáno: Croatian Society MIPRO 01.05.2019Vydáno v 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) (01.05.2019)“…The paper proposes a knowledge-based software platform to generate applications for spreadsheet data extraction and transformation. The platform includes a…”
Získat plný text
Konferenční příspěvek

