2905 search results - page 316 / 581 » Formal Memetic Algorithms |
115
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...
110
Voted
ISMVL
2006
IEEE
15 years 9 months ago
2006
IEEE
We define the MaxSAT problem for many-valued CNF formulas, called many-valued MaxSAT, and establish its complexity class. We then describe a basic branch and bound algorithm for ...
119
Voted
SUTC
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose and formally characterize a new problem named the dynamic context coverage problem in capabilityconstrained mobile sensor network environments. The goal is to move and ...
101
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
152
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
Web warehouse provides high availability and efficiency by utilizing materialized webviews, which should be refreshed in time to keep freshness. During the refreshing, the consis...