504 search results - page 42 / 101 » Explaining Verification Conditions |
DCC
2007
IEEE
14 years 7 months ago
2007
IEEE
Constructions and nonexistence conditions for multi-dimensional Golay complementary array pairs are reviewed. A construction for a d-dimensional Golay array pair from a (d + 1)-di...
DAARC
2009
Springer
14 years 2 months ago
2009
Springer
Expressions such as English himself are interpreted as locally bound anaphors in certain syntactic environments and are exempt from the binding conditions in others. This article p...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Bayesian hypothesis testing is investigated when the prior probabilities of the hypotheses, taken as a random vector, must be quantized. Nearest neighbor and centroid conditions f...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Grid portal is the bridge between Grid and user. In this paper a Grid portal system is set up based on GPIR of GridPort. The Grid portal system provides an efficient means to user...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...