Sciweavers

3022 search results - page 469 / 605
» From plans to planning: the case of nursing plans
Sort
View
92
Voted
ISBI
2009
IEEE
15 years 6 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 6 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...
HRI
2009
ACM
15 years 6 months ago
How to approach humans?: strategies for social robots to initiate interaction
This paper proposes a model of approach behavior with which a robot can initiate conversation with people who are walking. We developed the model by learning from the failures in ...
Satoru Satake, Takayuki Kanda, Dylan F. Glas, Mich...
PERVASIVE
2009
Springer
15 years 6 months ago
Landmark-Based Pedestrian Navigation with Enhanced Spatial Reasoning
Computer vision techniques can enhance landmark-based navigation by better utilizing online photo collections. We use spatial reasoning to compute camera poses, which are then regi...
Harlan Hile, Radek Grzeszczuk, Alan L. Liu, Ramakr...
FCCM
2009
IEEE
121views VLSI» more  FCCM 2009»
15 years 5 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...