Search results for "procedures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Alexey V. Nefyodov	Efficient Image Matching Algorithms Based on Procedures of Searching for 2D Templates.	SCIA	2003	DBLP DOI BibTeX RDF
28	Suresh K. Bhavnani, Christopher K. Bichakjian, Timothy M. Johnson, Roderick J. Little, Frederick A. Peck, Jennifer L. Schwartz, Victor J. Strecher	Strategy hubs: next-generation domain portals with search procedures.	CHI	2003	DBLP DOI BibTeX RDF	strategy hub, web searching, healthcare
28	Tobias Nipkow	Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.	CSL	2002	DBLP DOI BibTeX RDF
28	Claudio Casadei, Sandra Martelli, Paolo Fiorini	A Workcell for the Development of Robot-Assisted Surgical Procedures.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	discectomy, hybrid compliance control, knee osteoctomy, PC-based control, robot-X-ray calibration, graphical interface, robot-assisted surgery, PUMA
28	Linas Laibinis, Joakim von Wright	Functional Procedures in Higher-Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
28	David G. Novick	A why-what-how tool for development and documentation of operating procedures.	SIGDOC	2000	DBLP BibTeX RDF
28	Ronald M. Lee	Automated Generation of Electronic Procedures: Procedure Constraint Grammars.	HICSS	1999	DBLP DOI BibTeX RDF
28	Vipin Kumar	Integrating knowledge in problem solving search procedures.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
28	Jeffrey Lane, Annette Cutino, Marilyn McMillan	Adventures in XSC: our six-week countdown to extended service coverage.	SIGUCCS	2002	DBLP DOI BibTeX RDF	extended service, staff training, standard operating procedures, helpdesk, incident management, new services
28	Koichiro Inoue, Stephen E. Chick, Chun-Hung Chen	An empirical evaluation of several methods to select the best system.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	multiple selection procedures, discrete-event simulation, ranking and selection
28	Noriki Amano, Takuo Watanabe	LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	adaptable procedures, meta-level architecture and object-oriented language, reflection, software adaptation
28	Sudhakar M. Reddy	Testing-what's missing? An incomplete list of challenges.	ICCD	1995	DBLP DOI BibTeX RDF	testing area, quality guarantees, special-purpose procedures, integrated design and test, high-level failure models, program testing, computer testing, benchmark circuits, design cycle
27	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
27	Christian Martel, Laurence Vignollet, Christine Ferraris, Emmanuelle Villiot-Leclercq, Salim Ouari	PPdesigner: An Editor for Pedagogical Procedures.	EC-TEL	2009	DBLP DOI BibTeX RDF	Pedagogical Procedures, Pedagogical scenarios, Modelling, Authoring Tool, Learning Design
27	Alta van der Merwe, Paula Kotzé	Criteria used in selecting effective requirements elicitation procedures.	SAICSIT	2007	DBLP DOI BibTeX RDF	requirements elicitation procedures, process models
27	Maosong Huang, Ming Liu, O. C. Zienkiewicz	Stabilized Procedures for Finite Element Analysis in Saturated Soils Under Cyclic Loading.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	Saturated soils, Cyclic loading, u-p formulation, Incompressible behavior, Stabilization procedures
27	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
27	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
27	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
27	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
27	Kaisa Sere, Marina Waldén	Data Refinement of Remote Procedures.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Remote procedures, Atomicity refinement, Action systems
27	Nassir Navab, Benedicte Bascle, Michael H. Loser, Bernhard Geiger, Russell H. Taylor	Visual Servoing for Automatic and Uncalibrated Needle Placement for Percutaneous Procedures.	CVPR	2000	DBLP DOI BibTeX RDF	perspective invariant, percutaneous procedures, needle placement, projective geometry, visual servoing, cross-ratios
27	Manish Gupta, Sayak Mukhopadhyay, Navin Sinha	Automatic Parallelization of Recursive Procedures.	IEEE PACT	1999	DBLP DOI BibTeX RDF	parallelizing compilers, automatic parallelization, divide and conquer, interprocedural analysis, symbolic analysis, recursive procedures
27	Raimund K. Ege, Naphtali Rishe, Jingyu Liu, Vladimir Lebedev	Using Java to Add "Stored Procedures" to Databases.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	databases, object-orientation, stored procedures
27	Keinosuke Fukunaga, Donald M. Hummels	Leave-One-Out Procedures for Nonparametric Error Estimates.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	leave one out procedures, nonparametric error estimates, Parzen estimates, error analysis, nearest neighbor, Bayes methods, estimation theory, covariances
27	Ted Tenny	Program Readability: Procedures Versus Comments.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	factorial experiment, procedure format, PL/1 program, PL/1, programming, readability, procedures, comments
25	Richard P. Konstance, Eric L. Eisenstein, Kevin J. Anstrom, Linda K. Shaw, Robert M. Califf, Robert A. Harrington, David Bruce Matchar, Kevin A. Schulman, David F. Kong	Outcomes of Second Revascularization Procedures after Stent Implantation.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Stent, Restenosis, Coronary bypass surgery, Myocardial infarction, Revascularization, Survival
25	Yu-Lin Chu, Tsai-Yen Li	Using pluggable procedures and ontology to realize semantic virtual environments 2.0.	VRCAI	2008	DBLP DOI BibTeX RDF	ontology for virtual environment, semantic virtual environment, OSGi, multi-user virtual environment
25	Edwin J. Beggs, John V. Tucker	Programming Experimental Procedures for Newtonian Kinematic Machines.	CiE	2008	DBLP DOI BibTeX RDF
25	Ziv Baida, Jianwei Liu 0007, Yao-Hua Tan	Towards a Methodology for Designing E-Government Control Procedures.	EGOV	2007	DBLP DOI BibTeX RDF	e-Customs, G2B, procedure redesign, e-Government, conceptual modeling, design methodology
25	Ke Wei, Muthusrinivasan Muthuprasanna, Suraj Kothari	Preventing SQL Injection Attacks in Stored Procedures.	ASWEC	2006	DBLP DOI BibTeX RDF
25	Kirk C. Benson, David Goldsman, Amy R. Pritchett	Ranking and selection procedures for simulation.	WSC	2006	DBLP DOI BibTeX RDF
25	Ji Hwan Cha	On optimal burn-in procedures - a generalized model.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
25	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
25	Tessa A. Lau, Lawrence D. Bergman, Vittorio Castelli, Daniel Oblinger	Sheepdog: learning procedures for technical support.	IUI	2004	DBLP DOI BibTeX RDF	machine learning, hidden Markov models, user study, programming by demonstration, alignment
25	Terry M. Peters	Imaging Support of Minimally Invasive Procedures.	MIAR	2004	DBLP DOI BibTeX RDF
25	L. Jeff Hong, Barry L. Nelson	Indifference zone selection procedures: an indifference-zone selection procedure with minimum switching and sequential sampling.	WSC	2003	DBLP DOI BibTeX RDF
25	Nina Kreyer, Key Pousttchi, Klaus Turowski	Standardized Payment Procedures as Key Enabling Factor for Mobile Commerce.	EC-Web	2002	DBLP DOI BibTeX RDF
25	Wieslaw Lucjan Nowinski, Chee-Kong Chui	Simulation of Interventional Neuroradiology Procedures.	MIAR	2001	DBLP DOI BibTeX RDF	interventional neuroradiology, simulation, modeling, augmented reality
25	Stephen E. Chick, Koichiro Inoue	New results on procedures that select the best system using CRN.	WSC	2000	DBLP DOI BibTeX RDF
25	Sönke Frantz, Karl Rohr, H. Siegfried Stiehl	Multi-Step Procedures for the Localization of 2D and 3D Point Landmarks and Automatic ROI Size Selection.	ECCV (1)	1998	DBLP DOI BibTeX RDF
25	Yao-Hua Tan, Walter Thoen	Modeling the Dynamics of Transferable Obligations in Business Procedures.	HICSS (4)	1997	DBLP DOI BibTeX RDF
25	Bogdan Korel	Automated Test Data Generation for Programs with Procedures.	ISSTA	1996	DBLP DOI BibTeX RDF
25	Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima	Data compression procedures utilizing the similarity of data.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
25	Gerard Salton	Control procedures for data communication - an ASA progress report.	Commun. ACM	1966	DBLP DOI BibTeX RDF
24	Steve Roach, Jeffrey Van Baalen	Automated Procedure Construction for Deductive Synthesis.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	synthesis, procedures, deductive, decision, partial deduction
24	Ralph-Johan Back, Viorel Preoteasa	An algebraic treatment of procedure refinement to support mechanical verification.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Semantics, Refinement, Hoare logic, Recursive procedures, Mechanical verification
24	Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant	A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.	DAC	2003	DBLP DOI BibTeX RDF	theorem proving, decision procedures, boolean satisfiability, design verification
23	Alberto Cabas Vidani, Luca Chittaro	Using a Task Modeling Formalism in the Design of Serious Games for Emergency Medical Procedures.	VS-GAMES	2009	DBLP DOI BibTeX RDF	emergency medical procedures, design, development, task modeling, serious games
23	Nassir Navab, Jörg Traub, Tobias Sielhorst, Marco Feuerstein, Christoph Bichlmeier	Action- and Workflow-Driven Augmented Reality for Computer-Aided Medical Procedures.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	medical procedures, virtual reality, augmented reality, surgery
23	Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu	Boosting Verification by Automatic Tuning of Decision Procedures.	FMCAD	2007	DBLP DOI BibTeX RDF	Search Parameter Optimization, Decision Procedures, Boolean Satisfiability
23	Ralph-Johan Back, Viorel Preoteasa	Reasoning about recursive procedures with parameters.	MERLIN	2003	DBLP DOI BibTeX RDF	predicate transformer semantics, Hoare logic, refinement calculus, recursive procedures
23	Sue Jackson	Editing computer hardware procedures for multimedia presentation.	SIGDOC	2001	DBLP DOI BibTeX RDF	hardware procedures, service manuals, multimedia, animation, editing
23	Domenico Cantone, Vincenzo Cutello	Decision Procedures for Stratified Set-Theoretic Syllogistics.	ISSAC	1993	DBLP DOI BibTeX RDF	Multi-sorted languages, Set Theory, Decision Procedures
23	Che-Liang Yang	Constructing Optimal Procedures for Testing Series Systems.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	optimal procedures, single defective unit, series system, local loop, telephone networks, traveling costs, telephone networks, telecommunications computing
23	Ming-Feng Chang, Weiping Shi, W. Kent Fuchs	Optimal Diagnosis Procedures for k-out-of-n Structures.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	optimal diagnosis procedures, k-out-of-n structures, repairable VLSI, WSI structures, online repair, offline repair, VLSI, integrated circuit testing, simulation results, compact representation, electronic engineering computing
23	Israel Koren, Zahava Koren, Stephen Y. H. Su	Analysis of a Class of Recovery Procedures.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	program rollback, error recovery procedures, Checkpoint, intermittent faults, permanent faults, instruction retry, error latency
23	E. L. Lohse	Procedures for the standardization process.	Commun. ACM	1968	DBLP DOI BibTeX RDF	standardization, procedures, criteria
23	E. L. Lohse	Code extension procedures for information interchange.	Commun. ACM	1968	DBLP DOI BibTeX RDF	bit pattern, code extension, code table, control functions, data link escape, escape, information interchange, shift in, shift out, standard code, standard procedures, code, characters
22	Cristian A. Linte, Jeffrey H. Siewerdsen (eds.)	Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023	Medical Imaging: Image-Guided Procedures	2023	DBLP BibTeX RDF
22	Abby M. Grillo, John E. Peters, Daniel S. Esser, Sarah J. Garrow, Tyler Ball, Robert Naftel, Dario J. Englot, Joseph S. Neimat, William A. Grissom, Eric J. Barth, Robert J. Webster III	Design considerations for robotic, MRI-guided, trans-foramen ovale access to the brain.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Kristen L. Chen, Chen Li, Joshua Aronson, Xiaoyao Fan, Keith D. Paulsen	Estimating shift at deep brain targets in deep brain stimulation: a comparison between a machine learning approach and a biomechanical model.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Andy Zhang, Mehdi Boudissa, Maxime Nemo, Jérôme Tonetti, Matthieu Chabanas	Towards a learning-based CT segmentation of acetabular fractures.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Valentin Boussot, Jean-Louis Dillenseger	Statistical model for the prediction of lung deformation during video-assisted thoracoscopic surgery.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Jon S. Heiselman, Jarrod A. Collins, Morgan J. Ringel, William R. Jarnagin, Michael I. Miga	Comparison study of sparse data-driven soft tissue registration: preliminary results from the image-to-physical liver registration sparse data challenge.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Allison M. Okamura	Seeing and feeling in robot-assisted surgery (Conference Presentation).	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Olivia Radcliffe, Laura Connolly, Tamas Ungi, Caitlin T. Yeo, John F. Rudan, Gabor Fichtinger, Parvin Mousavi	Navigated surgical resection cavity inspection for breast conserving surgery.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Maryam E. Rettmann	Proton beam ablation of ventricular tachycardia (Conference Presentation).	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Chris Yeung, Joshua Ehrlich, Amoon Jamzad, Martin Kaufmann, John F. Rudan, Cecil Jay Engel, Parvin Mousavi, Tamas Ungi, Gabor Fichtinger	Cautery trajectory analysis for evaluation of resection margins in breast-conserving surgery.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Dilakshan Srikanthan, Martin Kaufmann, Amoon Jamzad, Ayesha Syeda, Alice M. L. Santilli, Alireza Sedghi, Gabor Fichtinger, Jamie Purzner, John F. Rudan, Teresa Purzner, Parvin Mousavi	Attention-based multi-instance learning for improved glioblastoma detection using mass spectrometry.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Patric Bettati, Baowei Fei	An advanced system with advanced user interfaces for image-guided intervention applications.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Rohan C. Vijayan, K. Venkataraman, J. Wei, Niral Sheth, Babar Shafiq, Jeffrey H. Siewerdsen, Wojciech Zbijewski, Gang Li 0018, Kevin Cleary, Ali Uneri	Multi-body 3D-2D registration for robot-assisted joint reduction: preclinical evaluation in the ankle syndesmosis.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Elizabeth Fischer, Mikias Gebremeskel, Karun Sharma, Dan Stoianovici, Kevin Cleary	Cadaveric study of a novel pneumatic biopsy drill for MRI-guided long bone biopsies.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Baptiste Noblet, Matthieu Chabanas, Simon Rouzé, Sandrine Voros	Registration of 2D monocular endoscopy to 3D CBCT for video-assisted thoracoscopic surgery.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Connor Haberl, Andrew M. Crean, Katie Lekx-Toniolo, Elsayed Ali, Pablo B. Nery, Girish M. Nair, Graham Cook, Fateme Rajabiyazdi, Calum Redpath, Robert A. deKemp	A 4D visualization tool for treatment planning of non-invasive radioablation in patients with ventricular tachycardia.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Guanping Xu, Yu Wu, Bei Li, Dongfang Shen, Ming Wu, Ao Wang, Wenkang Fan, Hong Shi, Jianhua Chen, Yinran Chen, Xiongbiao Luo	Dynamic attention deconvolutional single shot detector for polyp detection and classification in narrow-band imaging.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Cedric J. Rodriguez, Stephanie M. de Boer, Peter A. N. Bosman, Tanja Alderliesten	Bi-objective optimization of organ properties for the simulation of intracavitary brachytherapy applicator placement in cervical cancer.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Michael I. Miga, Ma Luo, Jaime Tierney, Winona L. Richey, Jon S. Heiselman, Reid Carleton Thompson	Accounting for brain shift during image-guided tumor resection surgeries: an intraoperative feasibility study.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Shaoyan Pan, Jacob F. Wynne, Mingzhe Hu, Tonghe Wang, Justin Roper, Pretesh Patel, Tian Liu 0004, Xiaofeng Yang 0005	Multi-organ CT segmentation using shifted-window multilayer perceptron mixer.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Josh Ehrlich, Chris Yeung, Martin Kaufman, Amoon Jamzad, John F. Rudan, Parvin Mousavi, Gabor Fichtinger, Tamas Ungi	Determining the time-delay of a mass spectrometry-based tissue sensor.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Prasad Vagdargi, Ali Uneri, Craig K. Jones, Xiaoxuan Zhang, Pengwei Wu, Runze Han, Alejandro Sisniega, Junghoon Lee, Patrick A. Helm, Mark Luciano, William S. Anderson, Gregory D. Hager, Jeffrey H. Siewerdsen	Real-time 3D neuroendoscopic guidance using SLAM: first clinical studies.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Elizabeth Fischer, Pavan Mantripragada, Andrew Keisey Espinoza, Pavel Yarmolenko, Kevin Cleary, Karun Sharma, Reza Monfaredi	Feasibility of a novel CT grid template for needle-based targeting in a phantom.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Wanwen Chen, Qi Zeng 0004, Thomas D. Milner, Razeyeh Bagherinasab, Farahna Sabiq, Eitan Prisman, Emily H. T. Pang, Septimiu E. Salcudean	Feasibility of MRI-US registration in oropharynx for transoral robotic surgery.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Yusuf Akhtar, Jayaram K. Udupa, Yubing Tong, Tiange Liu, Caiyun Wu, Dewey Odhner, Joseph M. McDonough, Carina Lott, Abbie Clark, Jason B. Anari, Patrick J. Cahill, Drew A. Torigian	Auto-segmentation of thoraco-abdominal organs in free breathing pediatric dynamic MRI.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Sarah Said, Paola Clauser, Nicole V. Ruiter, Pascal A. Baltzer, Torsten Hopp	Image-based registration between full x-ray and spot mammograms: analysis of registration accuracy in subgroups.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	William R. Warner, Xiaoyao Fan, Ryan B. Duke, Kristen L. Chen, Haley Stoner, Chen Li, Shaoju Wu, Songbai Ji, Sohail K. Mirza, Keith D. Paulsen	Towards accounting for intraoperative spine motion: a simulation study of registration between stereovision surfaces.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Krzysztof Gromada, Bartlomiej Piotrowski, Piotr Ciacka, Adam Kurek, Andrea Curatolo	Improved tool tracking algorithm for eye surgery based on combined color space masks.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Daniel R. Allen, Nadia Cattari, Joeana Cambranis Romero, Terry M. Peters, Elvis C. S. Chen	Towards virtual displays in the interventional radiology suite: a feasibility study.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Ryan B. Duke, Xiaoyao Fan, William R. Warner, Steven P. Baltic, Kristen Chen, Linton T. Evans, Songbai Ji, Sohail K. Mirza, Keith D. Paulsen	Automated localization of mini-screw fiducials in spine CT scans.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Pezhman Foroughi, Purnima Rajan, Martin Hoßbach, Alican Demir, Jan Hämmelmann, Kenny Harlan, Aliza Mushtaq, Lance A. Mynderse, David A. Woodrum	Evaluation of a perineal access device for MRI-guided prostate interventions.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	David Morton, Laura Connolly, Leah A. Groves, Kyle Sunderland, Amoon Jamzad, John F. Rudan, Gabor Fichtinger, Tamas Ungi, Parvin Mousavi	Tracked tissue sensing for tumor bed inspection.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Luke Matkovic, Yang Lei 0002, Yabo Fu, Tonghe Wang, Aparna H. Kesarwala, Marian Axente, Justin Roper, Kristin Higgins, Jeffrey D. Bradley, Tian Liu 0004, Xiaofeng Yang 0005	Deformable image registration of chest CT using deep cycle network.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Athena Reissis, Soojeong Yoo, Matthew J. Clarkson, Stephen A. Thompson	The effect of luminance on depth perception in augmented reality guided laparoscopic surgery.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Thomas DeSilvio, Leo Bao, Dhruv Seth, Prathyush Chirra, Sneha Singh, Atreya Sridharan, Murad Labbad, Katherine Bingmer, Diana Jodeh, Eric L. Marderstein, Rajmohan Paspulati, David Liska, Kenneth Friedman, Smitha S. Krishnamurthi, Sharon L. Stein, Andrei S. Purysko, Satish E. Viswanath	Integrating multi-plane and multi-region radiomic features to predict pathologic response to neoadjuvant chemoradiation in rectal cancers via pre-treatment MRI.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Avery Gosselin, Nimesha Ranasinghe, Terry S. Yoo	Toward three-dimensional (3D) human biomimetic models for x-ray radiation dosimetry and biomedical image analysis.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Lucas March, Jessica R. Rodgers, Rebecca Hisey, Amoon Jamzad, Alice M. L. Santilli, Doug McKay, John F. Rudan, Martin Kaufmann, Kevin Yi Mi Ren, Gabor Fichtinger, Parvin Mousavi	Cautery tool state detection using deep learning on intraoperative surgery videos.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Cheng Wang, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Hirotsugu Takabatake, Masaki Mori, Hirotoshi Honma, Hiroshi Natori, Kensaku Mori	Real bronchoscopic images-based bronchial nomenclature: a preliminary study.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Tess Reynolds, Yiqun Ma, Tianyu Wang, Kai Mei, Peter B. Noël, Grace J. Gang, J. Webster Stayman	Revealing pelvic structures in the presence of metal hip prostheses via non-circular CBCT orbits.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Yixuan Huang, Xiaoxuan Zhang, Ashley Johnston, Craig K. Jones, Jeffrey H. Siewerdsen, Wojciech Zbijewski, Patrick A. Helm, Brendan Judy, Amanda Sacino, Ali Bydon, Timothy Witham, Ali Uneri	Multi-modality registration of preoperative MR and intraoperative long-length tomosynthesis using GAN synthesis and 3D-2D registration.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
22	Hanad Elmi, Amoon Jamzad, Mackenzie Sharp, Jessica R. Rodgers, Martin Kaufmann, Tamara Jamaspishvili, Rachael Iseman, David Berman, John F. Rudan, Gabor Fichtinger, Parvin Mousavi	ViPRE: an open-source software implementation for end-to-end analysis of mass spectrometry data.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF