The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Procedures with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1960 (24) 1961-1962 (23) 1963-1964 (26) 1965-1966 (26) 1967-1968 (33) 1969 (24) 1970-1971 (23) 1972-1973 (33) 1974 (35) 1975 (28) 1976 (37) 1977 (37) 1978 (37) 1979 (29) 1980 (49) 1981 (40) 1982 (47) 1983 (41) 1984 (44) 1985 (47) 1986 (63) 1987 (86) 1988 (120) 1989 (95) 1990 (123) 1991 (89) 1992 (107) 1993 (119) 1994 (121) 1995 (153) 1996 (151) 1997 (171) 1998 (209) 1999 (284) 2000 (354) 2001 (470) 2002 (500) 2003 (605) 2004 (756) 2005 (866) 2006 (911) 2007 (1038) 2008 (975) 2009 (706) 2010 (281) 2011 (256) 2012 (275) 2013 (264) 2014 (268) 2015 (244) 2016 (247) 2017 (271) 2018 (266) 2019 (281) 2020 (268) 2021 (268) 2022 (255) 2023 (276) 2024 (34)
Publication types (Num. hits)
article(3594) book(17) data(1) incollection(103) inproceedings(9624) phdthesis(128) proceedings(42)
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
304E. L. Lohse Data communications control procedures for the USA standard code for information interchange. Search on Bibsonomy Commun. ACM The full citation details ... 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
55René de Vogelaere Algorithms: Algorithm 335: a set of basic input-output procedures. Search on Bibsonomy Commun. ACM The full citation details ... 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
50Phan Minh Dung, Paolo Mancarella, Francesca Toni Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38E. Jack Chen, W. David Kelton Indifference zone selection procedures: inferences from indifference-zone selection procedures. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Beatriz 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 IWSM/Metrikon/Mensura The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional Size Procedures, Conceptual Models, Functional Size Measurement, COSMIC
38Halim Damerdji, Marvin K. Nakayama Two-Stage Multiple-Comparison Procedures for Steady State Simulations. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multiple comparisons, standardized time series, steady-state output analysis, two-stage procedures, stochastic simulation
36Thomas R. Leap Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Modula-2
36Predrag Janicic, Alan Bundy, Ian Green A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF On-Board Control Procedures OBCP Herschel Planck
34Joris Hulstijn, Jianwei Liu 0007, Yao-Hua Tan Delegation of Control in Administrative Procedures. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF administrative procedures, evidence documents, trust
34Edward F. Storm CHAMP - character manipulation procedures. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF character manipulation, conditional expressions, string handling, symbol manipulation, procedures, quantifiers, recursive programming, structure matching
32Kyvia 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Yuxuan He, William E. Higgins Extemporaneous airway route computation during live bronchoscopic procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Kush J. Hari, Reid Carleton Thompson, Lola B. Chambless, Michael I. Miga Development of a mixed reality application to simulate neurosurgical procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Martin 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Kush 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Noa 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Han 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Jon 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Guy 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Tingyan 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Jerry 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
32Martin G. Wagner, Sarvesh Periyasamy, Michael A. Speidel, Paul F. Laeseke Feasibility of 3D motion-compensated needle guidance for TIPS procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
32Patrick 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
32Reza 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
32Christian Kunz, Vera Genten, Pascal Meißner, Björn Hein Metric-based evaluation of fiducial markers for medical procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
32Jessica 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
32Ma 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
32Tonke 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
32Martin 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
32Derek 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
32Maryam 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
32L. W. Lorraine Ma, Mehran Ebrahimi Slice-to-volume parametric image registration models with applications to MRI-guided cardiac procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
32Fuad N. Mefleh, G. Hamilton Baker, David Morgan Kwartowitz Heuristic estimation of electromagnetically tracked catheter shape for image-guided vascular procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Cristian 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Yuan 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Timothy 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Yashar 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
32Jens Raab, Henry Schäfer, Alexander Brost, Marc Stamminger, Marcus Pfister Non-photorealistic rendering for minimally invasive procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
32Martin Koch 0002, Alexander Brost, Joachim Hornegger, Norbert Strobel Respiratory motion influence on catheter contact force during radio frequency ablation procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
32Alexander 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Susan 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Felix 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Matthew S. Holden, Tamas Ungi, Derek Sargent, Robert C. McGraw, Gabor Fichtinger Surgical motion characterization in simulated needle insertion procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Atilla 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Lav Rai, Jason D. Gibbs, Henky Wibowo A C-arm calibration method with application to fluoroscopic image-guided procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Wen 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
32Alexander 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Xishi Huang, Paul S. Babyn, Thomas Looi, Peter C. W. Kim A novel hybrid model for deformable image registration in abdominal procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov 10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
32Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov 10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
32Rui Liao Model-based lasso catheter tracking in monoplane fluoroscopy for 3D breathing motion compensation during EP procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Pascal Fallavollita 2D/3D registration using only single-view fluoroscopy to guide cardiac ablation procedures: a feasibility study. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32David 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Alexander Brost, Rui Liao, Joachim Hornegger, Norbert Strobel 3D model-based catheter tracking for motion compensation in EP procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Robert 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Michael 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32YingLiang 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Rui 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Andrew 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Kawal 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Sheng 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32YingLiang 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Gang 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32David 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis 07401 Executive Summary -- Deduction and Decision Procedures. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
32René Thiemann, Jürgen Giesl, Peter Schneider-Kamp Decision Procedures for Loop Detection. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
32Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis 07401 Abstracts Collection -- Deduction and Decision Procedures. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
32Michael A. Guttman, Elliot R. McVeigh New methods for image guidance and visualization for cardiac procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Lyubomir 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Kevin Ha, Prashanth Dumpuri, Michael I. Miga, Reid Carleton Thompson Modeling surgical procedures to assist in understanding surgical approach. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Guoyan Zheng Non-photorealistic rendering of virtual implant models for computer-assisted fluoroscopy-based surgical procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Robert 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Brian J. Fahey, Gregg E. Trahey Acoustic radiation force impulse imaging for real-time observation of lesion development during radiofrequency ablation procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Benjamin 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Sheng 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Stijn 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Fred 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Kevin 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Cemil Göksu, Pascal Haigron, Oscar Acosta, Antoine Lucas Endovascular navigation based on real/virtual environments cooperation for computer-assisted TEAM procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Xin Ma, Yiping Lu, Kia-Fock Loe, Wieslaw L. Nowinski Haptic interface of web-based training system for interventional radiology procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Daniela Gorski Trevisan, Jean Vanderdonckt, Benoît Macq, Christian Raftopoulos Modeling interaction for image-guided procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Haiying Liu, Weu-Tek Tsai, Gino Canessa, John C. Canessa Web hospital information system for image-guided procedures. Search on Bibsonomy Medical Imaging: Image-Guided Procedures The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Jeffrey 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 Medical Imaging: Image-Guided Procedures The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Automatic Combinability of Rewriting-Based Satisfiability Procedures. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Eran Halperin, Uri Zwick Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Jeffrey Van Baalen, Steve Roach Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Malrey Lee, Eun-Ser Lee, HeeJo Kang, HeeSook Kim An Expert System Development for Operating Procedure Monitoring of PWR Plants. Search on Bibsonomy ICCSA (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF general operating procedures, PWR, Expert systems, knowledge bases
31Stephen E. Chick Indifference zone selection procedures: expected opportunity cost guarantees and indifference zone selection procedures. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Seong-Hee Kim Efficient simulation procedures: comparison with a standard via fully sequential procedures. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Pablo 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 Trans. Edutainment The full citation details ... 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
31Daniel Leivant Propositional Dynamic Logic for Recursive Procedures. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
31Mark Staples Interfaces for Refining Recursion and Procedures. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Refinement Tools, Interfaces, Refinement, Recursion, Procedures
31Wim H. Hesselink Predicate Transformers for Recursive Procedures with Local Variables. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Frames, Predicate transformers, Proof rule, Recursive procedures
31Veljko M. Milutinovic, Jakov J. Crnkovic, Catherine E. Houstis A Simulation Study of Two Distributed Task Allocation Procedures. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
29Amol Dattatraya Mali, Yevgeny Lipen MFSAT: A SAT Solver Using Multi-Flip Local Search. Search on Bibsonomy ICTAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Peter J. Haas, Jeffrey F. Naughton, S. Seshadri, Arun N. Swami Fixed-Precision Estimation of Join Selectivity. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh Manipulation and gender neutrality in stable marriage procedures. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF
28Deepak Padmanabhan 0001, Krishna Kummamuru Mining conversational text for procedures with applications in contact centers. Search on Bibsonomy Int. J. Document Anal. Recognit. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Conversation mining, AprioriAll, Clustering, Text mining, K-Means
28David 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 CONIELECOMP The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license