442 search results - page 71 / 89 » Model Checking of Systems Employing Commutative Functions |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
In previous work [7] a computational framework was demonstrated that employs evolutionary algorithms to automatically model a given system. This is accomplished by alternating the...
ICCAD
2003
IEEE
14 years 20 days ago
2003
IEEE
As research begins to explore potential nanotechnologies for future post-CMOS integrated systems, modeling and simulation environments must be developed that can accommodate the c...
OTM
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
GECCO
2004
Springer
14 years 23 days ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...