Sciweavers

17129 search results - page 3076 / 3426
» Applied Computing
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Machine and acoustical condition dependency analyses for fast acoustic likelihood calculation techniques
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...
Atsunori Ogawa, Satoshi Takahashi, Atsushi Nakamur...
ISBI
2011
IEEE
14 years 10 months ago
Dynamic online registration guided collaborative tracking of lung tumor movement in fluoroscopic videos
Tracking of the lung tumor movement in fluoroscopic video sequences is clinically significant and challenging problem due to the blurred appearance, sternum occlusion, and compl...
Baiyang Liu, Lin Yang, Casimir A. Kulikowski, Leig...
ISBI
2011
IEEE
14 years 10 months ago
Structural connectivity via the tensor-based morphometry
The tensor-based morphometry (TBM) has been widely used in characterizing tissue volume difference between populations at voxel level. We present a novel computational framework f...
Seung-Goo Kim, Moo K. Chung, Jamie L. Hanson, Bria...
BILDMED
2011
313views Algorithms» more  BILDMED 2011»
14 years 10 months ago
Automatic Multi-modal ToF/CT Organ Surface Registration
Abstract. In the field of image-guided liver surgery (IGLS), the initial registration of the intra-operative organ surface with preoperative tomographic image data is performed on...
Kerstin Müller, Sebastian Bauer, Jakob Wasza,...
FASE
2011
Springer
14 years 10 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
« Prev « First page 3076 / 3426 Last » Next »