Rate control plays a very important role in constant bit rate (CBR) coding. AVC standard is jointly developed by ISO and ITU-T, which contains several inter and intra prediction m...
This paper discusses decision making of project funding allocation under uncertain project costs. Because project costs are uncertain and funding allocations may not necessarily ma...
Chung-Li Tseng, Kyle Y. Lin, Satheesh K. Sundarara...
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
This paper identifies five distinct mechanisms by which a population-based algorithm might have an advantage over a solo-search algorithm in classical optimization. These mechanism...