With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...
Some fast nearest neighbor search (NNS) algorithms using metric properties have appeared in the last years for reducing computational cost. Depending on the structure used to store...
Working with IBR/BTF data requires a complete calibration. Modern setups speed up recordings by using multiple lamps and cameras. Therefore, the calibration task gets more time co...
Alexander Neubeck, Alexey Zalesny, Luc J. Van Gool
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...