Výsledky vyhľadávania - Languages Keywords Constraint logic programming
-
1
Spreadsheet computing with Finite Domain Constraint Enhancements
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 22.02.2022Vydané 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ískať plný text
Paper -
2
Development of XQuery Interpreter Extensions Based on Fuzzy Logic with Priorities
ISBN: 9798352613207Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2021“… (eXtensible Markup Language) has become the de facto standard for data exchange over the internet…”
Získať plný text
Dissertation
-
3
A polynomial relational class of binary CSP
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.05.2018Vydané 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ískať plný text
Journal Article -
4
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition
ISSN: 1545-7362, 1546-5004Vydavateľské údaje: Hershey IGI Global 01.01.2009Vydané 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ískať plný text
Journal Article -
5
Portar o GNU Linker Para o EVP DSP
ISBN: 9798380672009Vydavateľské údaje: 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ískať plný text
Dissertation -
6
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 22.02.2022Vydané 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ískať plný text
Paper -
7
A Notation for Planning SQL Queries
ISSN: 1055-3096, 2574-3872Vydavateľské údaje: West Lafayette Journal of Information Systems Education 22.06.2019Vydané 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ískať plný text
Journal Article -
8
Spatiotemporal pattern queries
ISSN: 1384-6175, 1573-7624Vydavateľské údaje: Boston Springer US 01.07.2011Vydané v GeoInformatica (01.07.2011)“…). That is, one can specify temporal order constraints on the fulfillment of several predicates…”
Získať plný text
Journal Article -
9
Deductive Data Warehouses
ISSN: 1548-3924, 1548-3932Vydavateľské údaje: Hershey IGI Global 01.01.2014Vydané 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ískať plný text
Journal Article -
10
A Logical Approach for Implementing Dynamic Business Rules
ISSN: 1813-5498, 1813-5498Vydavateľské údaje: 台灣 Academy of Taiwan Information Systems Research 01.05.2010Vydané 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ískať plný text
Journal Article -
11
Semantic code browsing
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.09.2016Vydané 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ískať plný text
Journal Article -
12
Constraint Exploration and Envelope of Simulation Trajectories
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 03.07.2000Vydané 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ískať plný text
Paper -
13
Talking about the Moving Image: A Declarative Model for Image Schema Based Embodied Perception Grounding and Language Generation
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 13.08.2015Vydané 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ískať plný text
Paper -
14
Declarative Diagnosis of Floundering
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 01.11.2007Vydané 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ískať plný text
Paper -
15
Modeling selectional restrictions in a relational type system
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 28.07.2016Vydané v arXiv.org (28.07.2016)“…Selectional restrictions are semantic constraints on forming certain complex types in natural language…”
Získať plný text
Paper -
16
An extensible knowledge base programming language and its extensible object model
ISBN: 9780591505818, 0591505819Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.1997“…), active OODBMSs, and object-oriented database programming languages (OODBPLs). Despite their success, these systems have two limitations…”
Získať plný text
Dissertation