6456 search results - page 139 / 1292 » Constraint Solving on Terms |
169
click to vote
MICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
193
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—With the advent of new applications, one of the primary applications supported in downlink cellular systems is streaming video. QoS for streaming video entails data transmission...
187
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— In this paper we develop a new dual decomposition method for optimizing a sum of convex objective functions corresponding to multiple agents but with coupled constraints. In ou...
155
click to vote
WSC
2008
15 years 8 months ago
2008
Semiconductor fabs often offer manufacturing service of multiple priorities in terms of cycle time-based X-factor targets (XFTs) and fab production must be planned accordingly. Th...
149
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...