1381 search results - page 119 / 277 » Computational Complexity of Constraint Satisfaction |
165
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
140
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
A scheduling scheme for MIMO systems which has the capability of obtaining multiuser diversity gain and controlling the link connection ratio among users simultaneously is proposed...
121
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Video transcoding is a mechanism to convert video bitstreams from one coding format to other formats. In this operation, the computational complexity and picture quality are the t...
173
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
156
Voted
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Video transmission over a heterogeneous network suffers a condition that it has required to satisfy many different constraints because of the variety limitations of client equipme...