Search Results - Languages Keywords Constraint logic programming

  • Showing 1 - 16 results of 16
Refine Results
  1. 1

    Spreadsheet computing with Finite Domain Constraint Enhancements by Beyenne, Ezana N

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 22.02.2022
    Published in 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…”
    Get full text
    Paper
  2. 2

    Development of XQuery Interpreter Extensions Based on Fuzzy Logic with Priorities by Sae-Ueng, Pannipa

    ISBN: 9798352613207
    Published: ProQuest Dissertations & Theses 01.01.2021
    “… (eXtensible Markup Language) has become the de facto standard for data exchange over the internet…”
    Get full text
    Dissertation
  3. 3

    A polynomial relational class of binary CSP by Jguirim, Wafa, Naanaa, Wady, Cooper, Martin C.

    ISSN: 1012-2443, 1573-7470
    Published: Cham Springer International Publishing 01.05.2018
    “…Finding a solution to a constraint satisfaction problem (CSP) is known to be an NP-hard task…”
    Get full text
    Journal Article
  4. 4

    USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition by Kona, Srividya, Bansal, Ajay, Simon, Luke, Mallya, Ajay, Gupta, Gopal

    ISSN: 1545-7362, 1546-5004
    Published: Hershey IGI Global 01.01.2009
    “… (Universal Service-Semantics Description Language), a language for formally describing the semantics of Web services…”
    Get full text
    Journal Article
  5. 5

    Portar o GNU Linker Para o EVP DSP by Pires, João Carlos Cordeiro

    ISBN: 9798380672009
    Published: 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…”
    Get full text
    Dissertation
  6. 6

    Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction by Beyenne, Ezana N, Hai-Feng, Guo

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 22.02.2022
    Published in 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…”
    Get full text
    Paper
  7. 7

    A Notation for Planning SQL Queries by Taipalus, Toni

    ISSN: 1055-3096, 2574-3872
    Published: West Lafayette Journal of Information Systems Education 22.06.2019
    Published in 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…”
    Get full text
    Journal Article
  8. 8

    Spatiotemporal pattern queries by Sakr, Mahmoud Attia, Güting, Ralf Hartmut

    ISSN: 1384-6175, 1573-7624
    Published: Boston Springer US 01.07.2011
    Published in GeoInformatica (01.07.2011)
    “…). That is, one can specify temporal order constraints on the fulfillment of several predicates…”
    Get full text
    Journal Article
  9. 9

    Deductive Data Warehouses by Rabuzin, Kornelije

    ISSN: 1548-3924, 1548-3932
    Published: Hershey IGI Global 01.01.2014
    “… The authors show how Datalog (as a logic programming language) can be used to perform OLAP analysis on data…”
    Get full text
    Journal Article
  10. 10

    A Logical Approach for Implementing Dynamic Business Rules by Karami, Nasser, Iijima, Junichi

    ISSN: 1813-5498, 1813-5498
    Published: 台灣 Academy of Taiwan Information Systems Research 01.05.2010
    Published in 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…”
    Get full text
    Journal Article
  11. 11

    Semantic code browsing by GARCÍA-CONTRERAS, ISABEL, MORALES, JOSÉ F., HERMENEGILDO, MANUEL V.

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.09.2016
    Published in 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…”
    Get full text
    Journal Article
  12. 12

    Constraint Exploration and Envelope of Simulation Trajectories by Teran, Oswaldo, Edmonds, Bruce, Wallis, Steve

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 03.07.2000
    Published in 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…”
    Get full text
    Paper
  13. 13

    Talking about the Moving Image: A Declarative Model for Image Schema Based Embodied Perception Grounding and Language Generation by Suchan, Jakob, Bhatt, Mehul, Jhavar, Harshita

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 13.08.2015
    Published in 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…”
    Get full text
    Paper
  14. 14

    Declarative Diagnosis of Floundering by Naish, Lee

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 01.11.2007
    Published in 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…”
    Get full text
    Paper
  15. 15

    Modeling selectional restrictions in a relational type system by Luuk, Erkki

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 28.07.2016
    Published in arXiv.org (28.07.2016)
    “…Selectional restrictions are semantic constraints on forming certain complex types in natural language…”
    Get full text
    Paper
  16. 16

    An extensible knowledge base programming language and its extensible object model by Arroyo-Figueroa, Javier A

    ISBN: 9780591505818, 0591505819
    Published: ProQuest Dissertations & Theses 01.01.1997
    “…), active OODBMSs, and object-oriented database programming languages (OODBPLs). Despite their success, these systems have two limitations…”
    Get full text
    Dissertation