Sciweavers

2451 search results - page 298 / 491
» Alternative Test Methods Using IEEE 1149.4
Sort
View
155
Voted
ISMAR
2006
IEEE
15 years 10 months ago
User evaluations on form factors of tangible magic lenses
Magic Lens is a small inset window embedded in a large context view, which provides an alternative view to the region of interest selected from the context view. This metaphor is ...
Ji-Young Oh, Hong Hua
ISBI
2011
IEEE
14 years 8 months ago
3D elastic registration improves HARDI-derived fiber alignment and automated tract clustering
High angular resolution diffusion imaging (HARDI) allows population studies of fiber integrity and connectivity. Tractography can extract individual fibers. For group studies, fib...
Yan Jin, Yonggang Shi, Neda Jahanshad, Iman Aganj,...
ICASSP
2008
IEEE
15 years 10 months ago
Text-independent voice conversion based on state mapped codebook
Voice conversion has become more and more important in speech technology, but most of current works have to use parallel utterances of both source and target speaker as the traini...
Meng Zhang, Jianhua Tao, Jilei Tian, Xia Wang
ASE
2002
160views more  ASE 2002»
15 years 4 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
ISBI
2007
IEEE
15 years 10 months ago
Automatic Segmentation of Nuclei in 3d Microscopy Images of C.Elegans
Automatic segmentation of nuclei in 3D microscopy images is essential for many biological studies including high throughput analysis of gene expression level, morphology, and phen...
Fuhui Long, Hanchuan Peng, Eugene W. Myers