Sciweavers

2833 search results - page 514 / 567
» Systems Design, Process Performance and Economic Outcomes
Sort
View
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
15 years 4 months ago
Enhanced generalized ant programming (EGAP)
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
Amirali Salehi-Abari, Tony White
CVPR
2010
IEEE
15 years 3 months ago
Estimating satellite attitude from pushbroom sensors
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...
Regis Perrier, Elise Arnaud, Peter F. Sturm, Mathi...
115
Voted
WWW
2010
ACM
15 years 3 months ago
Protocol-aware matching of web service interfaces for adapter development
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
Hamid R. Motahari Nezhad, Guang Yuan Xu, Boualem B...
115
Voted
ENTCS
2007
129views more  ENTCS 2007»
15 years 3 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...
138
Voted
TCAD
2008
119views more  TCAD 2008»
15 years 3 months ago
Full-Chip Routing Considering Double-Via Insertion
As the technology node advances into the nanometer era, via-open defects are one of the dominant failures due to the copper cladding process. To improve via yield and reliability, ...
Huang-Yu Chen, Mei-Fang Chiang, Yao-Wen Chang, Lum...