Sciweavers

3333 search results - page 486 / 667
» Abstract Proof Search
Sort
View
GECCO
2003
Springer
155views Optimization» more  GECCO 2003»
15 years 11 months ago
Adaptive Elitist-Population Based Genetic Algorithm for Multimodal Function Optimization
Abstract. This paper introduces a new technique called adaptive elitistpopulation search method for allowing unimodal function optimization methods to be extended to efficiently lo...
Kwong-Sak Leung, Yong Liang
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
15 years 11 months ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti
ISCIS
2003
Springer
15 years 11 months ago
Comparison of New Simple Weighting Functions for Web Documents against Existing Methods
Abstract. Term weighting is one of the most important aspects of modern Web retrieval systems. The weight associated with a given term in a document shows the importance of the ter...
Byurhan Hyusein, Ahmed Patel, Ferad Zyulkyarov
DATE
2010
IEEE
136views Hardware» more  DATE 2010»
15 years 11 months ago
Reversible logic synthesis through ant colony optimization
Abstract—We propose a novel synthesis technique for reversible logic based on ant colony optimization (ACO). In our ACO-based approach, reversible logic synthesis is formulated a...
Min Li, Yexin Zheng, Michael S. Hsiao, Chao Huang
INFOCOM
2002
IEEE
15 years 11 months ago
A Robust Acknowledgement Scheme for Unreliable Flows
Abstract—The increasing presence of UDP traffic in the Internet and the emergence of sensing applications which do not require full reliability motivates the search for a robust...
Hoi-sheung Wilson So, Ye Xia, Jean C. Walrand