2152 search results - page 204 / 431 » A Comparative Study of 2QBF Algorithms |
146
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
ABSTRACT. The maximum independent set problem (MAXIS) on general graphs is known to be NPhard to approximate within a factor of n1-, for any > 0. However, there are many "...
152
click to vote
CORR
2010
Springer
15 years 3 days ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
170
click to vote
LR
2011
15 years 2 days ago
2011
This paper suggests a routing method for automated guided vehicles in port terminals that uses the Q-learning technique. One of the most important issues for the efficient operati...
143
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We have studied two efficient sampling methods, Langevin and Hessian adapted Metropolis Hastings (MH), applied to a parameter estimation problem of the mathematical model (Lorent...
151
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper introduces a method of enhancing an unattended ground sensor (UGS) system’s classification capability of humans via seismic signatures while subsequently discriminati...