This paper investigates a novel computational approach to thyroid tissue characterization in ultrasound images. It is based on the hypothesis that tissues in thyroid ultrasound im...
Michalis A. Savelonas, Dimitrios K. Iakovidis, Nik...
Abstract— This paper investigates the performance of trading strategies identified through Computational Intelligence techniques. We focus on trading rules derived by Genetic Pr...
Nicos G. Pavlidis, E. G. Pavlidis, Michael G. Epit...
This paper proposes an approach to compute viewnormalized body part trajectories of pedestrians from monocular video sequences. The proposed approach first extracts the 2D trajec...
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Abstract. In an embedded multiprocessor system the minimum throughput and maximum latency of real-time applications are usually derived given the worst-case execution time of the s...
Arno Moonen, Marco Bekooij, Rene van den Berg, Jef...