Suchergebnisse - Languages Keywords Constraint logic programming

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

“… 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 …”
Volltext

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

“… (eXtensible Markup Language) has become the de facto standard for data exchange over the internet …”
Volltext

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

“… Finding a solution to a constraint satisfaction problem (CSP) is known to be an NP-hard task …”
Volltext

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

“… (Universal Service-Semantics Description Language), a language for formally describing the semantics of Web services …”
Volltext

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

“… 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 …”
Volltext

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

“… Furthermore, a spreadsheet-specific constraint language is constructed for general users to specify constraints among data cells in a declarative and scalable …”
Volltext

A Notation for Planning SQL Queries von Taipalus, Toni

“… , 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 …”
Volltext

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

“… ). That is, one can specify temporal order constraints on the fulfillment of several predicates …”
Volltext

Deductive Data Warehouses von Rabuzin, Kornelije

“… The authors show how Datalog (as a logic programming language) can be used to perform OLAP analysis on data …”
Volltext

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

“… 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 …”
Volltext

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

“… Most code search engines are based on syntactic techniques such as signature matching or keyword extraction …”
Volltext

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

“… The implicit theory that a simulation represents is precisely not in the individual choices but rather in the 'envelope' of possible trajectories - what is …”
Volltext

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

“… 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 …”
Volltext

Declarative Diagnosis of Floundering von Naish, Lee

“… 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 …”
Volltext

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

“… Selectional restrictions are semantic constraints on forming certain complex types in natural language …”
Volltext

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

“… ), active OODBMSs, and object-oriented database programming languages (OODBPLs). Despite their success, these systems have two limitations …”
Volltext