5130 search results - page 162 / 1026 » Constraint Query Languages |
126
click to vote
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
We built a prototype tool for browsing constraint systems for the layout of graphical objects. It has two views: In one view, the tool visualizes a constraint system as a threedim...
152
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
122
click to vote
HOPL
1993
15 years 7 months ago
1993
This paper outlines the history of the C++ programming language. The emphasis is on the ideas, constraints, and people that shaped the language, rather than the minutiae of langua...
109
click to vote
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
127
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...