949 search results - page 56 / 190 » Theory of Constraints |
94
Voted
CADE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
IDEAS
2007
IEEE
15 years 7 months ago
2007
IEEE
A foreign superkey in relational database theory is a set of attributes referring to a superkey of some relation variable. In this paper, the notion of constant references is intr...
99
Voted
RSCTC
2004
Springer
15 years 6 months ago
2004
Springer
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
104
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
118
Voted
GIS
2007
ACM
15 years 4 months ago
2007
ACM
A frequent query in geospatial planning and decision making domains (e.g., emergency response, data acquisition, street cleaning), is to find an optimal traversal plan (OTP) that ...