2974 search results - page 59 / 595 » Model-Driven Constraint Programming |
116
click to vote
SIAMJO
2008
15 years 5 months ago
2008
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...
146
click to vote
UAI
2003
15 years 6 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
142
Voted
VL
1993
IEEE
15 years 9 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
166
click to vote
EPIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
110
click to vote
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...