Sciweavers

850 search results - page 74 / 170
» heuristics 2006
Sort
View
103
Voted
QUESTA
2007
117views more  QUESTA 2007»
15 years 6 days ago
Analyzing a degenerate buffer with general inter-arrival and service times in discrete time
We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...
Wouter Rogiest, Koenraad Laevens, Joris Walraevens...
66
Voted
ESWA
2010
101views more  ESWA 2010»
14 years 11 months ago
A note on the truck and trailer routing problem
This study considers a relaxation of the truck and trailer routing problem (TTRP), called the relaxed truck and trailer routing problem (RTTRP). In the TTRP, the number of availab...
Shih-Wei Lin, Vincent F. Yu, Shuo-Yan Chou
IJAIT
2010
167views more  IJAIT 2010»
14 years 11 months ago
Bee Colony Optimization with Local Search for Traveling Salesman Problem
Many real world industrial applications involve finding a Hamiltonian path with minimum cost. Some instances that belong to this category are transportation routing problem, scan c...
Li-Pei Wong, Malcolm Yoke-Hean Low, Chin Soon Chon...
IJCSA
2010
110views more  IJCSA 2010»
14 years 11 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
14 years 11 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
Filip Maric, Predrag Janicic