At the current state of the art, genetic programs do not contain two constructs that commonly occur in programs written by humans, that is, loops and functions with parameters. In ...
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
A new method of finding people in video images is presented. Detection is based on a novel background modeling and subtraction approach which uses both color and edge information....
Sumer Jabri, Zoran Duric, Harry Wechsler, Azriel R...
— The wavefront expansion is commonly used for path planning tasks and appreciated for its efficiency. However, the existing extensions able to handle currents are subject to in...
This paper considers the design of an optimal joint source-channel coding system employing scalable wavelet-based source coders and unequal error protection for error-resilient tra...
Adrian Munteanu, Maryse R. Stoufs, Jan Cornelis, P...