679 search results - page 21 / 136 » hybrid 2010 |
ITP
2010
13 years 8 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Researchers have explored pointing devices operated by a single finger, but their advantage was not clear compared to conventional mice controlled by the whole hand. To incorporat...
CEC
2010
IEEE
13 years 11 months ago
2010
IEEE
This paper proposes a two-phase hybrid approach for the travelling salesman problem (TSP). The first phase is based on a sequence based genetic algorithm (SBGA) with an embedded lo...
IWOMP
2010
Springer
14 years 1 months ago
2010
Springer
HAIS
2010
Springer
13 years 10 months ago
2010
Springer