Sciweavers

4966 search results - page 116 / 994
» its 2010
Sort
View
ECCC
2006
97views more  ECCC 2006»
15 years 6 months ago
Runtime Analysis of a Simple Ant Colony Optimization Algorithm
Ant Colony Optimization (ACO) has become quite popular in recent years. In contrast to many successful applications, the theoretical foundation of this randomized search heuristic...
Frank Neumann, Carsten Witt
EOR
2006
62views more  EOR 2006»
15 years 6 months ago
A sequential procedure for neighborhood selection-of-the-best in optimization via simulation
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
Juta Pichitlamken, Barry L. Nelson, L. Jeff Hong
ENTCS
2007
121views more  ENTCS 2007»
15 years 6 months ago
Rewrite-Based Decision Procedures
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
Maria Paola Bonacina, Mnacho Echenim
IJACTAICIT
2010
213views more  IJACTAICIT 2010»
15 years 3 months ago
Classification of Cardiac Arrhythmias using Biorthogonal Wavelets and Support Vector Machines
The classification of Electrocardiogram (ECG) is critical for diagnosis and treatment of patients with heart disorders. We present a technique for automatic the detection and clas...
Berdakh Abibullaev, Won-Seok Kang, Seung-Hyun Lee,...
AHSWN
2010
103views more  AHSWN 2010»
15 years 6 months ago
Efficient Data Retrieving in Distributed Data-streaming Environments
In a potential distributed application, Automobile Tracking System (ATS), automobile location data is continuously generated, kept in a distributed manner. As large amount of traff...
Jinsong Han, Jun Miao, Jizhong Zhao, Jinpeng Huai,...