Alen Docef

According to our database, Alen Docef authored at least 22 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Using Z3 to Verify Inferences in Fragments of Linear Logic.

Alen Docef, Radu Negulescu, Mihai Prunescu

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

2017

Image-based Respiratory Signal Extraction Using Dimensionality Reduction for Phase Sorting in Cone-Beam CT Projections.

Salam Dhou, Alen Docef, Geoffrey D. Hugo

Proceedings of the 2017 International Conference on Computational Biology and Bioinformatics, 2017

2015

Smart Colonography for Distributed Medical Databases with Group Kernel Feature Analysis.

Yuichi Motai, Dingkun Ma, Alen Docef, Hiroyuki Yoshida

ACM Trans. Intell. Syst. Technol., 2015

2014

Motion-based projection generation for 4D-CT reconstruction.

Salam Dhou, Geoffrey D. Hugo, Alen Docef

Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

2011

On improving the accuracy of T1 mapping of the human brain.

Yung-Yeh Chang, Kenneth A. Kraft, Alen Docef

Proceedings of the 19th European Signal Processing Conference, 2011

2010

On-line versus off-line accelerated kernel feature analysis: Application to computer-aided detection of polyps in CT colonography.

Lahiruka Winter, Yuichi Motai, Alen Docef

Signal Process., 2010

2008

JPEG 2000 Image Coding Standard.

Hong Man, Alen Docef, Faouzi Kossentini

Proceedings of the Encyclopedia of Multimedia, 2nd Ed., 2008

Reconstruction of 4D deformed CT for moving anatomy.

Alen Docef, Martin J. Murphy

Int. J. Comput. Assist. Radiol. Surg., 2008

Nonlinear Set Membership time series prediction of breathing.

Guy Tchoupo, Alen Docef

Proceedings of the 2008 16th European Signal Processing Conference, 2008

2006

JPEG 2000 Image Coding Standard.

Hong Man, Alen Docef, Faouzi Kossentini

Proceedings of the Encyclopedia of Multimedia, 2006

Teach-Ware: DSP education resources.

Andreas Spanias, James H. McClellan, Alen Docef

IEEE Signal Process. Mag., 2006

Eval-ware: digital video retrieval.

Paul Over, Alan F. Smeaton, Alen Docef

IEEE Signal Process. Mag., 2006

Eval-ware: medical imaging resources.

Tianming Liu, Alen Docef

IEEE Signal Process. Mag., 2006

2005

Performance Analysis of the JPEG 2000 Image Coding Standard.

Hong Man, Alen Docef, Faouzi Kossentini

Multim. Tools Appl., 2005

2002

The quantized DCT and its application to DCT-based video coding.

Alen Docef, Faouzi Kossentini, Khanh Nguyen-Phi, Ismaeil R. Ismaeil

IEEE Trans. Image Process., 2002

2001

A computation-distortion optimized framework for efficient DCT-based video coding.

Ismaeil R. Ismaeil, Alen Docef, Faouzi Kossentini, Rabab K. Ward

IEEE Trans. Multim., 2001

2000

Computation-performance control for DCT-based video coding.

Ismaeil R. Ismaeil, Alen Docef, Faouzi Kossentini, Rabab Kreidieh Ward

Proceedings of the IEEE International Conference on Acoustics, 2000

1999

Efficient Motion Estimation Using Spatial and Temporal Motion Vector Prediction.

Ismaeil R. Ismaeil, Alen Docef, Faouzi Kossentini, Rabab Kreidieh Ward

Proceedings of the 1999 International Conference on Image Processing, 1999

Quantized discrete cosine transform: a combination of DCT and scalar quantization.

Khanh Nguyen-Phi, Alen Docef, Faouzi Kossentini

Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

Motion Estimation Using Long Term Motion Vector Prediction.

Ismaeil R. Ismaeil, Alen Docef, Faouzi Kossentini, Rabab Kreidieh Ward

Proceedings of the Data Compression Conference, 1999

1996

Ultrasound video coding using a three-dimensional subband decomposition.

Alen Docef, Mark J. T. Smith

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

1995

Multiplication-Free Subband Coding of Color Images.

Alen Docef, Faouzi Kossentini, Wilson C. Chung, Mark J. T. Smith

Proceedings of the IEEE Data Compression Conference, 1995