4117 search results - page 197 / 824 » On the Satisfiability of Complex Constraints |
129
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Thispaperdiscussesa proof-of-conceptprototypefor ground-basedautomaticgenerationof validatedrover commandsequences from high-level science and engineeringactivities.Thisprototypei...
184
click to vote
TCS
2010
15 years 5 months ago
2010
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...
158
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Color signal decomposition method is to decompose the conventional three-primary colors(RGB) into the multiprimary control values of multi-primary display(MPD) under the constraint...
161
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
179
click to vote
CC
2009
Springer
16 years 1 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...