4117 search results - page 85 / 824 » On the Satisfiability of Complex Constraints |
173
click to vote
DL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Space-Time Block Codes from square complex orthogonal designs (SCOD) have been extensively studied and most of the existing SCODs contain large number of zero. The zeros ...
141
click to vote
IPSN
2005
Springer
15 years 12 months ago
2005
Springer
: This paper addresses the problem of maximizing the service lifetime of a distributed battery-powered sensor network in the context of the network interdiction problem under user-...
162
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Tail Assignment is the problem of assigning flight legs to aircraft while satisfying all operational constraints, and optimizing some objective function. In this article, we presen...
162
click to vote
COR
2010
15 years 6 months ago
2010
The problem addressed in this paper is the decision problem of determining if a set of multi-dimensional rectangular boxes can be orthogonally packed into a rectangular bin while ...