4117 search results - page 241 / 824 » On the Satisfiability of Complex Constraints |
180
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
173
click to vote
VTC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Interleave Division Multiple Access (IDMA) is a promising air interface for future wireless networks. Optimization of access schemes regarding cross user aspects is also a topi...
184
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
158
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
166
click to vote
CP
1999
Springer
15 years 11 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...