6142 search results - page 228 / 1229 » The Complexity of Partition Functions |
173
Voted
EAAI
2010
15 years 3 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
145
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
157
click to vote
IACR
2011
14 years 4 months ago
2011
Abstract. GOST 28147-89 is a well-known block cipher and the official encryption standard of the Russian Federation. Its large key size of 256 bits at a particularly low implementa...
147
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Graph-based algorithms have become increasingly popular for medical image segmentation. The fundamental process for each of these algorithms is to use the image content t...
106
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...