4451 search results - page 172 / 891 » On Random Ordering Constraints |
164
click to vote
CP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
177
Voted
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—With the convergence of multimedia applications and wireless communications, there is an urgent need for developing new scheduling algorithms to support real-time traffic with ...
161
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— We address a lifetime maximization problem for a single-hop wireless sensor network where multiple sensors encode and communicate their measurements of a Gaussian random source...
166
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
201
click to vote
IJCV
2006
15 years 5 months ago
2006
Subspacefacerecognitionoftensuffersfromtwoproblems:(1)thetrainingsamplesetissmallcompared with the high dimensional feature vector; (2) the performance is sensitive to the subspace...