Sciweavers

14704 search results - page 329 / 2941
» computing 2007
Sort
View
CBMS
2007
IEEE
15 years 11 months ago
Computational Characterization of Thyroid Tissue in the Radon Domain
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...
CEC
2007
IEEE
15 years 11 months ago
Computational intelligence algorithms for risk-adjusted trading strategies
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...
CRV
2007
IEEE
137views Robotics» more  CRV 2007»
15 years 11 months ago
Computing View-normalized Body Parts Trajectories
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...
Frédéric Jean, Robert Bergevin, Alex...
CSFW
2007
IEEE
15 years 11 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet
DSD
2007
IEEE
142views Hardware» more  DSD 2007»
15 years 11 months ago
Decoupling of Computation and Communication with a Communication Assist
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...