|
|
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. |
Commun. ACM |
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. |
Commun. ACM |
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. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
38 | E. Jack Chen, W. David Kelton |
Indifference zone selection procedures: inferences from indifference-zone selection procedures. |
WSC |
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. |
IWSM/Metrikon/Mensura |
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. |
ACM Trans. Model. Comput. Simul. |
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). |
ACM Conference on Computer Science |
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. |
CADE |
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. |
COMPSAC |
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. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
administrative procedures, evidence documents, trust |
34 | Edward F. Storm |
CHAMP - character manipulation procedures. |
Commun. ACM |
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. |
Medical Imaging: Image-Guided Procedures |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Yuxuan He, William E. Higgins |
Extemporaneous airway route computation during live bronchoscopic procedures. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Jens Raab, Henry Schäfer, Alexander Brost, Marc Stamminger, Marcus Pfister |
Non-photorealistic rendering for minimally invasive procedures. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Decision Procedures in Software, Hardware and Bioware |
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. |
Decision Procedures in Software, Hardware and Bioware |
2010 |
DBLP BibTeX RDF |
|
32 | Rui Liao |
Model-based lasso catheter tracking in monoplane fluoroscopy for 3D breathing motion compensation during EP procedures. |
Medical Imaging: Image-Guided Procedures |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Pascal Fallavollita |
2D/3D registration using only single-view fluoroscopy to guide cardiac ablation procedures: a feasibility study. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis |
07401 Executive Summary -- Deduction and Decision Procedures. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
32 | René Thiemann, Jürgen Giesl, Peter Schneider-Kamp |
Decision Procedures for Loop Detection. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
32 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis |
07401 Abstracts Collection -- Deduction and Decision Procedures. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
32 | Michael A. Guttman, Elliot R. McVeigh |
New methods for image guidance and visualization for cardiac procedures. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Guoyan Zheng |
Non-photorealistic rendering of virtual implant models for computer-assisted fluoroscopy-based surgical procedures. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Daniela Gorski Trevisan, Jean Vanderdonckt, Benoît Macq, Christian Raftopoulos |
Modeling interaction for image-guided procedures. |
Medical Imaging: Image-Guided Procedures |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Haiying Liu, Weu-Tek Tsai, Gino Canessa, John C. Canessa |
Web hospital information system for image-guided procedures. |
Medical Imaging: Image-Guided Procedures |
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. |
Medical Imaging: Image-Guided Procedures |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic Combinability of Rewriting-Based Satisfiability Procedures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Eran Halperin, Uri Zwick |
Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs. |
IPCO |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Jeffrey Van Baalen, Steve Roach |
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. |
LOPSTR |
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. |
ICCSA (2) |
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. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Seong-Hee Kim |
Efficient simulation procedures: comparison with a standard via fully sequential procedures. |
WSC |
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. |
Trans. Edutainment |
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. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic |
31 | Mark Staples |
Interfaces for Refining Recursion and Procedures. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Refinement Tools, Interfaces, Refinement, Recursion, Procedures |
31 | Wim H. Hesselink |
Predicate Transformers for Recursive Procedures with Local Variables. |
Formal Aspects Comput. |
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. |
IEEE Trans. Software Eng. |
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. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Peter J. Haas, Jeffrey F. Naughton, S. Seshadri, Arun N. Swami |
Fixed-Precision Estimation of Join Selectivity. |
PODS |
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. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
|
28 | Deepak Padmanabhan 0001, Krishna Kummamuru |
Mining conversational text for procedures with applications in contact centers. |
Int. J. Document Anal. Recognit. |
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. |
CONIELECOMP |
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][ >>] |
|