Sciweavers

9626 search results - page 1740 / 1926
» Invariant Based Programming
Sort
View
141
Voted
TEC
2002
119views more  TEC 2002»
15 years 2 months ago
Graph-based evolutionary design of arithmetic circuits
Abstract--In this paper, we present an efficient graph-based evolutionary optimization technique called evolutionary graph generation (EGG) and the proposed approach is applied to ...
Dingjun Chen, Takafumi Aoki, Naofumi Homma, Toshik...
129
Voted
TEC
2002
166views more  TEC 2002»
15 years 2 months ago
An artificial immune system architecture for computer security applications
With increased global interconnectivity, reliance on e-commerce, network services, and Internet communication, computer security has become a necessity. Organizations must protect ...
Paul K. Harmer, Paul D. Williams, Gregg H. Gunsch,...
131
Voted
TMI
2002
114views more  TMI 2002»
15 years 2 months ago
A Review of Cardiac Image Registration Methods
In this paper, the current status of cardiac image registration methods is reviewed. The combination of information from multiple cardiac image modalities, such as magnetic resonan...
Timo Mäkelä, Patrick Clarysse, Outi Sipi...
147
Voted
TPDS
2002
126views more  TPDS 2002»
15 years 2 months ago
P-3PC: A Point-to-Point Communication Model for Automatic and Optimal Decomposition of Regular Domain Problems
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
Frank J. Seinstra, Dennis Koelma
MP
2007
91views more  MP 2007»
15 years 2 months ago
Set Intersection Theorems and Existence of Optimal Solutions
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
Dimitri P. Bertsekas, Paul Tseng
« Prev « First page 1740 / 1926 Last » Next »