One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the results are usually chec...
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the results are usually chec...
In this paper we introduce a new algorithm for image and video texture synthesis. In our approach, patch regions from a sample image or video are transformed and copied to the output and then stitched...
The goal of this paper is to provide an overview on the Virtual Laboratory infrastructure for online economic experiments. We summarize our experience gained from performing several economic experimen...
The goal of this paper is to provide an overview on the Virtual Laboratory infrastructure for online economic experiments. We summarize our experience gained from performing several economic experimen...