|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7764 occurrences of 4277 keywords
|
|
|
Results
Found 13509 publication records. Showing 13509 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
304 | E. L. Lohse |
Data communications control procedures for the USA standard code for information interchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(3), pp. 166-178, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
communication control procedures, communication error control procedures, communication establishment/termination procedures, communication message transfer procedures, communication polling/selection procedures, data communication control procedures, data communication error control procedures, data communication establishment/termination procedures, data communication message transfer procedures, data communication polling/selection procedures, data link control procedures, data link error control procedures, data link establishment, data link establishment/termination procedures, data link message transfer procedures, data link polling, data link polling/selection procedures, link control procedures, link error control procedures, link establishment/termination procedures, link message transfer procedures, link polling/selection procedures, selection procedures, termination procedures, communication, link, data communication, data link |
55 | René de Vogelaere |
Algorithms: Algorithm 335: a set of basic input-output procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(8), pp. 567-573, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational |
50 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 289-310, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | E. Jack Chen, W. David Kelton |
Indifference zone selection procedures: inferences from indifference-zone selection procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 456-464, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Beatriz Marín, Giovanni Giachetti, Oscar Pastor 0001 |
Measurement of Functional Size in Conceptual Models: A Survey of Measurement Procedures Based on COSMIC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Metrikon/Mensura ![In: Software Process and Product Measurement, International Conferences: IWSM 2008, Metrikon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008. Proceedings, pp. 170-183, 2008, Springer, 978-3-540-89402-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Functional Size Procedures, Conceptual Models, Functional Size Measurement, COSMIC |
38 | Halim Damerdji, Marvin K. Nakayama |
Two-Stage Multiple-Comparison Procedures for Steady State Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 9(1), pp. 1-30, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
multiple comparisons, standardized time series, steady-state output analysis, two-stage procedures, stochastic simulation |
36 | Thomas R. Leap |
Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 381, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Modula-2 |
36 | Predrag Janicic, Alan Bundy, Ian Green |
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 127-141, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen |
The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1366-1371, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
On-Board Control Procedures OBCP Herschel Planck |
34 | Joris Hulstijn, Jianwei Liu 0007, Yao-Hua Tan |
Delegation of Control in Administrative Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 81-95, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
administrative procedures, evidence documents, trust |
34 | Edward F. Storm |
CHAMP - character manipulation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(8), pp. 561-566, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
character manipulation, conditional expressions, string handling, symbol manipulation, procedures, quantifiers, recursive programming, structure matching |
32 | Kyvia Pereira, Ma Luo, Michael I. Miga |
Comparison of neural activation models to analyze the impact of brain deformations on neural pathways during DBS procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Yuxuan He, William E. Higgins |
Extemporaneous airway route computation during live bronchoscopic procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Kush J. Hari, Reid Carleton Thompson, Lola B. Chambless, Michael I. Miga |
Development of a mixed reality application to simulate neurosurgical procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Martin G. Wagner, Sarvesh Periyasamy, Joseph F. Whitehead, Paul F. Laeseke, Michael A. Speidel |
Continuous-sweep limited angle fluoroscopy guidance for percutaneous needle procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2022: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 20-24, 2022 / Online, March 21-27, 2022, 2022, SPIE, 9781510649439. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Kush J. Hari, Rohan C. Vijayan, Ma Luo, Jaime Tierney, Jon S. Heiselman, Lola B. Chambless, Reid Carleton Thompson, Michael I. Miga |
Digital application to display brain shift simulation in tumor resection procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2022: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 20-24, 2022 / Online, March 21-27, 2022, 2022, SPIE, 9781510649439. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Noa Chazot, Joeana Cambranis Romero, Terry M. Peters, Adam Rankin, Elvis C. S. Chen |
Development of a multi-modal liver phantom with flow for the validation and training of focal ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2022: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 20-24, 2022 / Online, March 21-27, 2022, 2022, SPIE, 9781510649439. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Han Liu, Kathryn L. Holloway, Dario J. Englot, Benoit M. Dawant |
A multi-rater comparative study of automatic target localization methods for epilepsy deep brain stimulation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2022: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 20-24, 2022 / Online, March 21-27, 2022, 2022, SPIE, 9781510649439. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Jon S. Heiselman, William R. Jarnagin, Michael I. Miga |
Registration uncertainty in deforming organs: a novel approach for ensuring navigational confidence during image-guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2022: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 20-24, 2022 / Online, March 21-27, 2022, 2022, SPIE, 9781510649439. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Guy Nir, Lindsay Machan, Fergal Donnellan, Anna Brounstein, Kulwant Singh, D. Gordon Wait, Samuel Victor Lichtenstein, Daniel Gelbart, Eran Elizur |
Automatic detection and tracking of the region of interest during fluoroscopy-guided procedures for radiation exposure reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2021: Image-Guided Procedures, Robotic Interventions, and Modeling, Online, February 15-20, 2021, 2021, SPIE, 9781510640252. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Tingyan Deng, Shubham Gulati, Ashwin Kumar, William Rodriguez, Benoit M. Dawant, Alexander Langerman |
Automated detection of surgical wounds in videos of open neck procedures using a mask R-CNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2021: Image-Guided Procedures, Robotic Interventions, and Modeling, Online, February 15-20, 2021, 2021, SPIE, 9781510640252. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Jerry Yan, Akash Chaurasia, Hannah Takasuka, Aditi Jithendra, Claire State, Kathleen McCarren, Robert Li, Evan Bender, Matthew Hill, Thomas Benassi, Julius Oni, Amir Manbachi |
Infrared image-guidance for intraoperative assessment of limb length discrepancy during total hip arthroplasty procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, TX, USA, February 15-20, 2020, pp. 113150D, 2020, SPIE, 9781510633971. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Martin G. Wagner, Sarvesh Periyasamy, Michael A. Speidel, Paul F. Laeseke |
Feasibility of 3D motion-compensated needle guidance for TIPS procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, TX, USA, February 15-20, 2020, pp. 1131505, 2020, SPIE, 9781510633971. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Patrick Carnahan, John Moore 0001, Daniel Bainbridge, Gavin Wheeler, Shujie Deng, Kuberan Pushparajah, Elvis C. S. Chen, John M. Simpson, Terry M. Peters |
Applications of VR medical image visualization to chordal length measurements for cardiac procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, TX, USA, February 15-20, 2020, pp. 1131528, 2020, SPIE, 9781510633971. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Reza Monfaredi, Pavel Yarmolenko, Eung-Joo Lee, Viktoriya Beskin, Kevin Cleary, Karun Sharma |
MRI-compatible needle guidance toolkit to streamline arthrography procedures: phantom accuracy study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, TX, USA, February 15-20, 2020, pp. 113150H, 2020, SPIE, 9781510633971. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Christian Kunz, Vera Genten, Pascal Meißner, Björn Hein |
Metric-based evaluation of fiducial markers for medical procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2019: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, 16-21 February 2019, pp. 109512O, 2019, SPIE, 9781510625495. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Jessica R. Rodgers, Jeffrey S. Bax, Elina Rascevska, Vikram Velker, Kathleen J. M. Surry, David D'Souza, Eric Leung, Aaron Fenster |
3D ultrasound system for needle guidance during high-dose-rate interstitial gynecologic brachytherapy implant placement procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2019: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, 16-21 February 2019, pp. 109510T, 2019, SPIE, 9781510625495. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Ma Luo, Saramati Narasimhan, Alastair J. Martin, Paul S. Larson, Michael I. Miga |
Model-based correction for brain shift in deep brain stimulation burr hole procedures: a comparison using interventional magnetic resonance imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2018: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, Texas, United States, 10-15 February 2018, pp. 105760P, 2018, SPIE, 9781510616417. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Tonke L. de Jong, Camiel Klink, Adriaan Moelker, Jenny Dankelman, John van den Dobbelsteen |
Needle deflection in thermal ablation procedures of liver tumors: a CT image analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2018: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, Texas, United States, 10-15 February 2018, pp. 105761L, 2018, SPIE, 9781510616417. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Martin G. Wagner, Paul F. Laeseke, Tilman Schubert, Jordan M. Slagowski, Michael A. Speidel, Charles A. Mistretta |
Feature-based respiratory motion tracking in native fluoroscopic sequences for dynamic roadmaps during minimally invasive procedures in the thorax and abdomen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2017: Image-Guided Procedures, Robotic Interventions, and Modeling, Orlando, Florida, United States, 11-16 February 2017, pp. 101351H, 2017, SPIE, 9781510607156. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Derek J. Doss, Jon S. Heiselman, Jarrod A. Collins, Jared A. Weis, Logan W. Clements, Sunil K. Geevarghese, Michael I. Miga |
Using an Android application to assess registration strategies in open hepatic procedures: a planning and simulation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2017: Image-Guided Procedures, Robotic Interventions, and Modeling, Orlando, Florida, United States, 11-16 February 2017, pp. 101351Z, 2017, SPIE, 9781510607156. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Maryam E. Rettmann, Atsushi Suzuki, Songyun Wang, Nathan Pottinger, J. Arter, Andrew Netzer, Kay D. Parker, Kimberly Viker, Douglas L. Packer |
Integration of myocardial scar identified by preoperative delayed contrast-enhanced MRI into a high-resolution mapping system for planning and guidance of VT ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2017: Image-Guided Procedures, Robotic Interventions, and Modeling, Orlando, Florida, United States, 11-16 February 2017, pp. 101351P, 2017, SPIE, 9781510607156. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | L. W. Lorraine Ma, Mehran Ebrahimi |
Slice-to-volume parametric image registration models with applications to MRI-guided cardiac procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2017: Image-Guided Procedures, Robotic Interventions, and Modeling, Orlando, Florida, United States, 11-16 February 2017, pp. 1013520, 2017, SPIE, 9781510607156. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Fuad N. Mefleh, G. Hamilton Baker, David Morgan Kwartowitz |
Heuristic estimation of electromagnetically tracked catheter shape for image-guided vascular procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 15-20 February 2014, pp. 90362H, 2014, SPIE, 9780819498298. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Cristian A. Linte, Jon J. Camp, Kurt E. Augustine, Paul M. Huddleston, Richard A. Robb, David R. Holmes III |
Virtual estimates of fastening strength for pedicle screw implantation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 15-20 February 2014, pp. 903617, 2014, SPIE, 9780819498298. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Yuan Liu 0019, Pierre-François D'Haese, Benoit M. Dawant |
Effects of deformable registration algorithms on the creation of statistical maps for preoperative targeting in deep brain stimulation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 15-20 February 2014, pp. 90362B, 2014, SPIE, 9780819498298. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Timothy J. Schaewe, Xiaoyao Fan, Songbai Ji, David W. Roberts, Keith D. Paulsen, David A. Simon |
Integration of intraoperative stereovision imaging for brain shift visualization during image-guided cranial procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 15-20 February 2014, pp. 90360X, 2014, SPIE, 9780819498298. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Yashar Madjidi, Tamás Haidegger, Wolfgang Ptacek, Daniel Berger, Christian Kirisits, Gernot Kronreif, Gabor Fichtinger |
Experimental platform for intra-uterine needle placement procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling, Lake Buena Vista (Orlando Area), Florida, United States, 9-14 February 2013, pp. 86711L, 2013, SPIE, 9780819494450. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Jens Raab, Henry Schäfer, Alexander Brost, Marc Stamminger, Marcus Pfister |
Non-photorealistic rendering for minimally invasive procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling, Lake Buena Vista (Orlando Area), Florida, United States, 9-14 February 2013, pp. 86710M, 2013, SPIE, 9780819494450. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Martin Koch 0002, Alexander Brost, Joachim Hornegger, Norbert Strobel |
Respiratory motion influence on catheter contact force during radio frequency ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling, Lake Buena Vista (Orlando Area), Florida, United States, 9-14 February 2013, pp. 86710D, 2013, SPIE, 9780819494450. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Brost, Felix Bourier, Andreas Wimmer, Martin Koch 0002, Atilla P. Kiraly, Rui Liao, Klaus Kurzidim, Joachim Hornegger, Norbert Strobel |
Real-time circumferential mapping catheter tracking for motion compensation in atrial fibrillation ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 83162V, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Susan Buchanan, John Moore 0001, Deanna Lammers, John S. H. Baxter, Terry M. Peters |
Characterization of tissue-simulating phantom materials for ultrasound-guided needle procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 83162B, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Felix Bourier, Alexander Brost, Andreas Kleinoeder, Tanja Kurzendorfer, Martin Koch 0002, Attila P. Kiraly, Hans-Juergen Schneider, Joachim Hornegger, Norbert Strobel, Klaus Kurzidim |
Navigation for fluoroscopy-guided cryo-balloon ablation procedures of atrial fibrillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 831627, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Matthew S. Holden, Tamas Ungi, Derek Sargent, Robert C. McGraw, Gabor Fichtinger |
Surgical motion characterization in simulated needle insertion procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 83160W, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Atilla P. Kiraly, Julien Barbot, Wen Wu 0004, Terrence Chen, Alexander Brost, Martin Koch 0002, Carolin Jakob, Tanja Kurzendorfer, Norbert Strobel |
Real-time motion-adjusted augmented fluoroscopy system for navigation during electrophysiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 831626, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Lav Rai, Jason D. Gibbs, Henky Wibowo |
A C-arm calibration method with application to fluoroscopic image-guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 831625, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Wen Wu 0004, Terrence Chen, Norbert Strobel, Dorin Comaniciu |
Robust tracking of a virtual electrode on a coronary sinus catheter for atrial fibrillation ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2012: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 4-9 February 2012, pp. 83162U, 2012, SPIE, 9780819489654. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Brost, Felix Bourier, Liron Yatziv, Martin Koch 0002, Joachim Hornegger, Norbert Strobel, Klaus Kurzidim |
First steps towards initial registration for electrophysiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2011: Visualization, Image-Guided Procedures, and Modeling, Lake Buena Vista (Orlando), Florida, United States, 12-17 February 2011, pp. 79641P, 2011, SPIE, 9780819485069. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Xishi Huang, Paul S. Babyn, Thomas Looi, Peter C. W. Kim |
A novel hybrid model for deformable image registration in abdominal procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2011: Visualization, Image-Guided Procedures, and Modeling, Lake Buena Vista (Orlando), Florida, United States, 12-17 February 2011, pp. 79640K, 2011, SPIE, 9780819485069. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov |
10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decision Procedures in Software, Hardware and Bioware ![In: Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov |
10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decision Procedures in Software, Hardware and Bioware ![In: Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Rui Liao |
Model-based lasso catheter tracking in monoplane fluoroscopy for 3D breathing motion compensation during EP procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2010: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 13-18 February 2010, pp. 76250Y, 2010, SPIE, 9780819480262. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Pascal Fallavollita |
2D/3D registration using only single-view fluoroscopy to guide cardiac ablation procedures: a feasibility study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2010: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 13-18 February 2010, pp. 76252Z, 2010, SPIE, 9780819480262. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | David Rivest-Hénault, Luc Duong, Chantal Lapierre, Sylvain Deschênes, Mohamed Cheriet |
Semi-automatic segmentation of major aorto-pulmonary collateral arteries (MAPCAs) for image guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2010: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 13-18 February 2010, pp. 76250B, 2010, SPIE, 9780819480262. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Brost, Rui Liao, Joachim Hornegger, Norbert Strobel |
3D model-based catheter tracking for motion compensation in EP procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2010: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 13-18 February 2010, pp. 762507, 2010, SPIE, 9780819480262. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Robert Manzke, A. Bornstedt, A. Lutz, Marcel Schenderlein, V. Hombach, L. Binner, Volker Rasche |
Respiratory motion compensated overlay of surface models from cardiac MR on interventional x-ray fluoroscopy for guidance of cardiac resynchronization therapy procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2010: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 13-18 February 2010, pp. 762508, 2010, SPIE, 9780819480262. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Michael J. Daly, Harley Chan, E. Prisman, Allan Vescan, Sajendra Nithiananthan, J. Qiu, R. Weersink, Jonathan C. Irish, Jeffrey H. Siewerdsen |
Fusion of intraoperative cone-beam CT and endoscopic video for image-guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2010: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 13-18 February 2010, pp. 762503, 2010, SPIE, 9780819480262. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | YingLiang Ma, Kawal S. Rhode, Andrew P. King, Dennis Caulfield, Michael Cooklin, Reza Razavi, Graeme P. Penney |
Echocardiography to magnetic resonance image registration for use in image-guide electrophysiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2009: Visualization, Image-Guided Procedures, and Modeling, Lake Buena Vista (Orlando Area), Florida, United States, 7-12 February 2009, pp. 72610Q, 2009, SPIE, 9780819475121. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Rui Liao, Ning Xu, Yiyong Sun |
Location constraint based 2D-3D registration of fluoroscopic images and CT volumes for image-guided EP procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 69182T, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Andrew P. King, Redha Boubertakh, K. L. Ng, YingLiang Ma, Phani Chinchapatnam, Gang Gao, Tobias Schaeffter, David J. Hawkes, Reza Razavi, Kawal S. Rhode |
A technique for respiratory motion correction in image guided cardiac catheterisation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 691816, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Kawal S. Rhode, YingLiang Ma, Angela Chandrasena, Andrew P. King, Gang Gao, Phani Chinchapatnam, Maxime Sermesant, David J. Hawkes, Tobias Schaeffter, Jaswinder S. Gill, Reza Razavi |
Evaluation of the use of multimodality skin markers for the registration of pre-procedure cardiac MR images and intra-procedure x-ray fluoroscopy images for image guided cardiac electrophysiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 69181R, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Sheng Xu 0001, Jochen Kruecker, Hui Jiang, Scott H. Settlemier, Neil D. Glossop, Aradhana Venkatesan, Anthony Kam, Bradford J. Wood |
3D ultrasound guidance system for needle placement procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 69180H, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | YingLiang Ma, Kawal S. Rhode, Gang Gao, Andrew P. King, Phani Chinchapatnam, Tobias Schaeffter, David J. Hawkes, Reza Razavi, Graeme P. Penney |
Ultrasound calibration using intensity-based image registration: for application in cardiac catheterization procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 69180O, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Gang Gao, Segolene Tarte, Andy P. King, YingLiang Ma, Phani Chinchapatnam, Tobias Schaeffter, Reza Razavi, Dave Hawkes 0001, Derek L. G. Hill, Kawal S. Rhode |
Validation of the use of photogrammetry to register pre-procedure MR images to intra-procedure patient position for image-guided cardiac catheterization procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 69181Q, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | David R. Holmes 0001, Maryam E. Rettmann, Bruce M. Cameron, Jon C. Camp, Richard A. Robb |
Developing patient-specific anatomic models for validation of cardiac ablation guidance procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, San Diego, California, United States, 16-21 February 2008, pp. 69181W, 2008, SPIE, 9780819471024. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis |
07401 Executive Summary -- Deduction and Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deduction and Decision Procedures ![In: Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
32 | René Thiemann, Jürgen Giesl, Peter Schneider-Kamp |
Decision Procedures for Loop Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deduction and Decision Procedures ![In: Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
32 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis |
07401 Abstracts Collection -- Deduction and Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deduction and Decision Procedures ![In: Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
32 | Michael A. Guttman, Elliot R. McVeigh |
New methods for image guidance and visualization for cardiac procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2007: Visualization and Image-Guided Procedures, San Diego, CA, United States, 17-22 February 2007, pp. 65090S, 2007, SPIE, 9780819466273. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Lyubomir Zagorchev, Robert Manzke, Ricardo Cury, Vivek Y. Reddy, Raymond C. Chan |
Rapid fusion of 2D x-ray fluoroscopy with 3D multislice CT for image-guided electrophysiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2007: Visualization and Image-Guided Procedures, San Diego, CA, United States, 17-22 February 2007, pp. 65092B, 2007, SPIE, 9780819466273. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Kevin Ha, Prashanth Dumpuri, Michael I. Miga, Reid Carleton Thompson |
Modeling surgical procedures to assist in understanding surgical approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2007: Visualization and Image-Guided Procedures, San Diego, CA, United States, 17-22 February 2007, pp. 65092O, 2007, SPIE, 9780819466273. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Guoyan Zheng |
Non-photorealistic rendering of virtual implant models for computer-assisted fluoroscopy-based surgical procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2007: Visualization and Image-Guided Procedures, San Diego, CA, United States, 17-22 February 2007, pp. 65091Y, 2007, SPIE, 9780819466273. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Robert Manzke, R. C. Chan, Guy Shechter, Sham Sokka, Douglas Stanton, Zachary J. Malchano, Volker Rasche, Vivek Y. Reddy |
Integration of real-time x-ray fluoroscopy, rotational x-ray imaging, and real-time catheter tracking for improved navigation in interventional cardiac electrophysiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2006: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 11-16 February 2006, pp. 614112, 2006, SPIE, 9780819461841. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Brian J. Fahey, Gregg E. Trahey |
Acoustic radiation force impulse imaging for real-time observation of lesion development during radiofrequency ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2005: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 12-17 February 2005, 2005, SPIE, 9780819457189. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Benjamin Maurin, Christophe Doignon, Jacques Gangloff, Bernard Bayle, Michel de Mathelin, Olivier Piccin, Afshin Gangi |
CTBot: A stereotactic-guided robotic assistant for percutaneous procedures of the abdomen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2005: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 12-17 February 2005, 2005, SPIE, 9780819457189. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Sheng Xu 0001, Kevin R. Cleary, Dan Stoianovici, Gabor Fichtinger |
Registration and motion compensation of a needle placement robot for CT-guided spinal procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2005: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 12-17 February 2005, 2005, SPIE, 9780819457189. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Stijn De Buck, Frederik Maes, Joris Ector, Hein Heidbüchel, Paul Suetens |
Catheter based calibration for augmented reality guidance of cardiac thermo-ablation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2005: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 12-17 February 2005, 2005, SPIE, 9780819457189. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Fred S. Azar, Nathalie Perrin, Ali Khamene, Sebastian Vogt, Frank Sauer |
User performance analysis of different image-based navigation systems for needle placement procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2004: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 14-19 February 2004, 2004, SPIE, 9780819452801. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Kevin Chugh, Petru M. Dinu, Daniel R. Bednarek, Darold Wobschall, Stephen Rudin, Kenneth R. Hoffmann, Ron Peterson, Ming Zeng |
A computer-graphic display for real-time operator feedback during interventional x-ray procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2004: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 14-19 February 2004, 2004, SPIE, 9780819452801. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Cemil Göksu, Pascal Haigron, Oscar Acosta, Antoine Lucas |
Endovascular navigation based on real/virtual environments cooperation for computer-assisted TEAM procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2004: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 14-19 February 2004, 2004, SPIE, 9780819452801. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Xin Ma, Yiping Lu, Kia-Fock Loe, Wieslaw L. Nowinski |
Haptic interface of web-based training system for interventional radiology procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2004: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 14-19 February 2004, 2004, SPIE, 9780819452801. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Daniela Gorski Trevisan, Jean Vanderdonckt, Benoît Macq, Christian Raftopoulos |
Modeling interaction for image-guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2003: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 15-20 February 2003, 2003, SPIE, 9780819448309. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Haiying Liu, Weu-Tek Tsai, Gino Canessa, John C. Canessa |
Web hospital information system for image-guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2002: Visualization, Image-Guided Procedures, and Display, San Diego, California, United States, 23-28 February 2002, 2002, SPIE, 9780819444264. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Jeffrey H. Siewerdsen, David A. Jaffray, Gregory K. Edmundson, W. P. Sanders, John W. Wong, Alvaro A. Martinez |
Flat-panel cone-beam CT: a novel imaging technology for image-guided procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2001: Visualization, Display, and Image-Guided Procedures, San Diego, CA, United States, 17-22 February 2001, 2001, SPIE, 9780819440051. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic Combinability of Rewriting-Based Satisfiability Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 542-556, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Eran Halperin, Uri Zwick |
Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings, pp. 202-217, 1999, Springer, 3-540-66019-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Jeffrey Van Baalen, Steve Roach |
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 61-70, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Malrey Lee, Eun-Ser Lee, HeeJo Kang, HeeSook Kim |
An Expert System Development for Operating Procedure Monitoring of PWR Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part II, pp. 483-490, 2005, Springer, 3-540-25861-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
general operating procedures, PWR, Expert systems, knowledge bases |
31 | Stephen E. Chick |
Indifference zone selection procedures: expected opportunity cost guarantees and indifference zone selection procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 465-473, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Seong-Hee Kim |
Efficient simulation procedures: comparison with a standard via fully sequential procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 528-534, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Pablo Moreno-Ger, Carl Blesius, Paul Currier, José Luis Sierra, Baltasar Fernández-Manjón |
Online Learning and Clinical Procedures: Rapid Development and Effective Deployment of Game-Like Interactive Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Edutainment ![In: Transactions on Edutainment I, pp. 288-304, 2008, Springer, 978-3-540-69737-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
game-like simulations, development process model, development costs, clinical procedures, e-Adventure, .LRN, learning management systems, game-based learning, virtual learning environments, IMS Learning Design |
31 | Daniel Leivant |
Propositional Dynamic Logic for Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 6-14, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic |
31 | Mark Staples |
Interfaces for Refining Recursion and Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(5), pp. 372-391, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Refinement Tools, Interfaces, Refinement, Recursion, Procedures |
31 | Wim H. Hesselink |
Predicate Transformers for Recursive Procedures with Local Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(6), pp. 616-636, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Frames, Predicate transformers, Proof rule, Recursive procedures |
31 | Veljko M. Milutinovic, Jakov J. Crnkovic, Catherine E. Houstis |
A Simulation Study of Two Distributed Task Allocation Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(1), pp. 54-61, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
distributed task allocation procedures, LOCO procedure, general-purpose processing, complex multitask jobs, artificial-intelligence-oriented systems, system bottleneck, load balancing, protocols, interconnection network, virtual machines, communications protocols, TDMA, supercomputing, multiprogramming, simulation study, CSMA/CD, carrier-sense multiple-access |
29 | Amol Dattatraya Mali, Yevgeny Lipen |
MFSAT: A SAT Solver Using Multi-Flip Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 3-5 November 2003, Sacramento, California, USA, pp. 84-93, 2003, IEEE Computer Society, 0-7695-2038-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Peter J. Haas, Jeffrey F. Naughton, S. Seshadri, Arun N. Swami |
Fixed-Precision Estimation of Join Selectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 190-201, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Manipulation and gender neutrality in stable marriage procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 665-672, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Deepak Padmanabhan 0001, Krishna Kummamuru |
Mining conversational text for procedures with applications in contact centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 10(3-4), pp. 227-238, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conversation mining, AprioriAll, Clustering, Text mining, K-Means |
28 | David Fajardo Patrón, Luis Gerardo Guerrero-Ojeda, David Báez-López, Vicente Alarcón Aquino |
Simulator of WCDMA Procedures for Educational Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005 - 2 March 2005, Puebla, Mexico, pp. 16-20, 2005, IEEE Computer Society, 0-7695-2283-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 13509 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|