2049 search results - page 190 / 410 » Normalization and Partial Evaluation |
173
click to vote
RTCSA
2006
IEEE
16 years 12 days ago
2006
IEEE
The load parameter of a sporadic task system is defined to be the largest possible cumulative execution requirement that can be generated by jobs of the task system over any time...
157
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. As an ongoing effort to develop a computer aided system for the detection of masses on mammograms, we propose on this work a new model-based segmentation algorithm. The a...
181
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, a new hybrid of genetic algorithm (GA) and simulated annealing (SA), referred to as GSA, is presented. In this algorithm, SA is incorporated into GA to escape from ...
166
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The aim of this paper is to present an improvement of a previously published algorithm. The proposed approach is performed in two steps. In the first step, we generate t...
151
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Conjunctive Normal Form (CNF) Boolean formulas generated from resolution or solution enumeration often have much redundancy. It is desirable to have an efficient algorithm to simpl...