83 search results - page 17 / 17 » Minimization Algorithm for Symbolic Bisimilarity |
ICCAD
2009
IEEE
13 years 3 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
As the date rates and bandwidths of communication systems scale up, the cost and power consumption of highprecision (e.g., 8-12 bits) analog-to-digital converters (ADCs) become pro...