Sciweavers

5373 search results - page 933 / 1075
» Models and Motion Planning
Sort
View
HICSS
2010
IEEE
167views Biometrics» more  HICSS 2010»
15 years 11 months ago
Bayesian Networks for the Assessment of the Effect of Urbanization on Stream Macroinvertebrates
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...
Kenneth H. Reckhow
ISBI
2009
IEEE
15 years 11 months ago
Transrectal Ultrasound Prostate Biopsy Tracking with Efficient and Accurate Deformation Estimation
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...
Michael Baumann, Pierre Mozer, Vincent Daanen, Joc...
DAC
2009
ACM
15 years 11 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...
FCCM
2009
IEEE
121views VLSI» more  FCCM 2009»
15 years 11 months ago
FPGA-based Monte Carlo Computation of Light Absorption for Photodynamic Cancer Therapy
—Photodynamic therapy (PDT) is a method of treating cancer that combines light and light-sensitive drugs to selectively destroy cancerous tumours without harming the healthy tiss...
Jason Luu, Keith Redmond, William Lo, Paul Chow, L...
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
15 years 11 months ago
Guiding medical needles using single-point tissue manipulation
— This paper addresses the use of robotic tissue manipulation in medical needle insertion procedures to improve targeting accuracy and to help avoid damaging sensitive tissues. T...
Meysam Torabi, Kris K. Hauser, Ron Alterovitz, Vin...