Výsledky vyhledávání - Languages Keywords Constraint logic programming
-
1
Spreadsheet computing with Finite Domain Constraint Enhancements
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 22.02.2022Vydáno v arXiv.org (22.02.2022)“… The spreadsheet application's ease of use and usefulness has enabled non-programmers to perform programming-like tasks in a familiar setting modeled after the tabular "pen and paper" approach…”
Získat plný text
Paper -
2
Development of XQuery Interpreter Extensions Based on Fuzzy Logic with Priorities
ISBN: 9798352613207Vydáno: ProQuest Dissertations & Theses 01.01.2021“… (eXtensible Markup Language) has become the de facto standard for data exchange over the internet…”
Získat plný text
Dissertation
-
3
A polynomial relational class of binary CSP
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.05.2018Vydáno v Annals of mathematics and artificial intelligence (01.05.2018)“…Finding a solution to a constraint satisfaction problem (CSP) is known to be an NP-hard task…”
Získat plný text
Journal Article -
4
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition
ISSN: 1545-7362, 1546-5004Vydáno: Hershey IGI Global 01.01.2009Vydáno v International journal of web services research (01.01.2009)“… (Universal Service-Semantics Description Language), a language for formally describing the semantics of Web services…”
Získat plný text
Journal Article -
5
Portar o GNU Linker Para o EVP DSP
ISBN: 9798380672009Vydáno: ProQuest Dissertations & Theses 01.01.2014“… The EVP is a vector processor used by Ericsson on its 2G, 3G and 4G modems. Due to size, weight and power constraints, mobile devices have limited power sources, and because of that the hardware must be power efficient…”
Získat plný text
Dissertation -
6
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 22.02.2022Vydáno v arXiv.org (22.02.2022)“… Furthermore, a spreadsheet-specific constraint language is constructed for general users to specify constraints among data cells in a declarative and scalable…”
Získat plný text
Paper -
7
A Notation for Planning SQL Queries
ISSN: 1055-3096, 2574-3872Vydáno: West Lafayette Journal of Information Systems Education 22.06.2019Vydáno v Journal of information systems education (22.06.2019)“…, Cassandra and DynamoDB, which base their query languages on SQL. Even though the syntax of SQL is relatively simple when compared to programming languages, studies…”
Získat plný text
Journal Article -
8
Spatiotemporal pattern queries
ISSN: 1384-6175, 1573-7624Vydáno: Boston Springer US 01.07.2011Vydáno v GeoInformatica (01.07.2011)“…). That is, one can specify temporal order constraints on the fulfillment of several predicates…”
Získat plný text
Journal Article -
9
Deductive Data Warehouses
ISSN: 1548-3924, 1548-3932Vydáno: Hershey IGI Global 01.01.2014Vydáno v International journal of data warehousing and mining (01.01.2014)“… The authors show how Datalog (as a logic programming language) can be used to perform OLAP analysis on data…”
Získat plný text
Journal Article -
10
A Logical Approach for Implementing Dynamic Business Rules
ISSN: 1813-5498, 1813-5498Vydáno: 台灣 Academy of Taiwan Information Systems Research 01.05.2010Vydáno v Contemporary Management Research (01.05.2010)“… A static business rule is a constraint (integrity) or derivation rule that applies to each individual state of the business, taken one state at a time…”
Získat plný text
Journal Article -
11
Semantic code browsing
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.09.2016Vydáno v Theory and practice of logic programming (01.09.2016)“… Most code search engines are based on syntactic techniques such as signature matching or keyword extraction…”
Získat plný text
Journal Article -
12
Constraint Exploration and Envelope of Simulation Trajectories
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 03.07.2000Vydáno v arXiv.org (03.07.2000)“…The implicit theory that a simulation represents is precisely not in the individual choices but rather in the 'envelope' of possible trajectories - what is…”
Získat plný text
Paper -
13
Talking about the Moving Image: A Declarative Model for Image Schema Based Embodied Perception Grounding and Language Generation
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 13.08.2015Vydáno v arXiv.org (13.08.2015)“… The declarative model ---ecompassing spatio-linguistic abstractions, image schemas, and a spatio-temporal feature based language generator--- is modularly implemented within Constraint Logic Programming (CLP…”
Získat plný text
Paper -
14
Declarative Diagnosis of Floundering
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 01.11.2007Vydáno v arXiv.org (01.11.2007)“…Many logic programming languages have delay primitives which allow coroutining. This introduces a class of bug symptoms -- computations can flounder when they are intended to succeed or finitely fail…”
Získat plný text
Paper -
15
Modeling selectional restrictions in a relational type system
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 28.07.2016Vydáno v arXiv.org (28.07.2016)“…Selectional restrictions are semantic constraints on forming certain complex types in natural language…”
Získat plný text
Paper -
16
An extensible knowledge base programming language and its extensible object model
ISBN: 9780591505818, 0591505819Vydáno: ProQuest Dissertations & Theses 01.01.1997“…), active OODBMSs, and object-oriented database programming languages (OODBPLs). Despite their success, these systems have two limitations…”
Získat plný text
Dissertation