Sciweavers

2451 search results - page 404 / 491
» Alternative Test Methods Using IEEE 1149.4
Sort
View
ICAT
2006
IEEE
15 years 4 months ago
Manipulation of Field of View for Hand-Held Virtual Reality
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
Jane Hwang, Jaehoon Jung, Gerard Jounghyun Kim
ICPADS
2006
IEEE
15 years 4 months ago
Acceleration of Maximum Likelihood Estimation for Tomosynthesis Mammography
Maximum likelihood (ML) estimation is used during tomosynthesis mammography reconstruction. A single reconstruction involves the processing of highresolution projection images, wh...
Juemin Zhang, Waleed Meleis, David R. Kaeli, Tao W...
DFMA
2005
IEEE
150views Multimedia» more  DFMA 2005»
15 years 3 months ago
Real-Time Treatment Planning Optimisation for Brachytherapy
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
Simon Chatelain, Jean-Philippe Thiran, Valery-Oliv...
ICMCS
2005
IEEE
143views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Dynamic Gop Structure Determination for Real-Time MPEG-4 Advanced Simple Profile Video Encoder
MPEG-4 Advanced Simple Profile video provides I, P, and B –type frames in each GOP (Group Of Pictures). To maximize the coding efficiency, it is important to determine the distr...
Yu-Lin Wang, Jing-Xin Wang, Yen-Wen Lai, Alvin Wen...
80
Voted
KBSE
2005
IEEE
15 years 3 months ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...