|
1.
|
Eliciting preferences sequentially using partially observable Markov decision processes Zawaideh, Zaid
|
|
2.
|
Proof theoretical foundations for constructive Description Logic Clément, Ian
|
|
3.
|
Optimization techniques for distributed Verilog simulation Li, Lijun
|
