Search results for "Procedures"

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