|
|
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 |
28 | Alexey V. Nefyodov |
Efficient Image Matching Algorithms Based on Procedures of Searching for 2D Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 13th Scandinavian Conference, SCIA 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings, pp. 991-997, 2003, Springer, 3-540-40601-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 393-400, 2003, ACM, 1-58113-630-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
strategy hub, web searching, healthcare |
28 | Tobias Nipkow |
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 103-119, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Claudio Casadei, Sandra Martelli, Paolo Fiorini |
A Workcell for the Development of Robot-Assisted Surgical Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 28(4), pp. 301-324, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings, pp. 372-387, 2000, Springer, 3-540-67863-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | David G. Novick |
A why-what-how tool for development and documentation of operating procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of IEEE Professional Communication Society International Professional Communication Conference and Proceedings of the 18th Annual ACM International Conference on Computer Documentation: Technology & Teamwork, Cambridge, Massachusetts, USA, September 24-27, 2000, pp. 559-570, 2000, IEEE, 0-7803-6431-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Ronald M. Lee |
Automated Generation of Electronic Procedures: Procedure Constraint Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Vipin Kumar |
Integrating knowledge in problem solving search procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 5-10, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Jeffrey Lane, Annette Cutino, Marilyn McMillan |
Adventures in XSC: our six-week countdown to extended service coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 30th annual ACM SIGUCCS conference on User services: Charting Bold Courses - New Worlds in User Services, Providence, Rhode Island, USA, November 20-23, 2002, pp. 64-71, 2002, ACM, 1-58113-564-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 9(4), pp. 381-407, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 41-50, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 426-, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 4:1-4:51, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Learning in the Synergy of Multiple Disciplines, 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, Nice, France, September 29 - October 2, 2009, Proceedings, pp. 379-384, 2009, Springer, 978-3-642-04635-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, SAICSIT 2007, Port Elizabeth, South Africa, October 2-3, 2007, pp. 162-171, 2007, ACM, 978-1-59593-775-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 1105-1113, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 328-342, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(1-3), pp. 265-293, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 62-73, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 513-527, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 278-297, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2000 Conference on Computer Vision and Pattern Recognition (CVPR 2000), 13-15 June 2000, Hilton Head, SC, USA, pp. 2327-2334, 2000, IEEE Computer Society, 0-7695-0662-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, Newport Beach, California, USA, October 12-16, 1999, pp. 139-148, 1999, IEEE Computer Society, 0-7695-0425-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 322-331, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
databases, object-orientation, stored procedures |
27 | Keinosuke Fukunaga, Donald M. Hummels |
Leave-One-Out Procedures for Nonparametric Error Estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(4), pp. 421-423, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(9), pp. 1271-1279, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 32(2), pp. 177-186, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings of the 7th International Conference on Virtual Reality Continuum and its Applications in Industry, VRCAI 2008, Singapore, December 8-9, 2008, 2008, ACM, 978-1-60558-335-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 52-66, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Ziv Baida, Jianwei Liu 0007, Yao-Hua Tan |
Towards a Methodology for Designing E-Government Control Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 56-67, 2007, Springer, 978-3-540-74443-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 191-198, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Kirk C. Benson, David Goldsman, Amy R. Pritchett |
Ranking and selection procedures for simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 179-185, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ji Hwan Cha |
On optimal burn-in procedures - a generalized model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 54(2), pp. 198-206, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 594-608, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tessa A. Lau, Lawrence D. Bergman, Vittorio Castelli, Daniel Oblinger |
Sheepdog: learning procedures for technical support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004, pp. 109-116, 2004, ACM, 1-58113-815-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality: Second International Workshop, MIAR2004, Beijing, China, August 19-20, 2004. Proceedings, pp. 19-26, 2004, Springer, 3-540-22877-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 474-480, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Nina Kreyer, Key Pousttchi, Klaus Turowski |
Standardized Payment Procedures as Key Enabling Factor for Mobile Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 400-409, 2002, Springer, 3-540-44137-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Wieslaw Lucjan Nowinski, Chee-Kong Chui |
Simulation of Interventional Neuroradiology Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality: First International Workshop, MIAR 2001, Hong Kong, China, June 10-12, 2001. Proceedings, pp. 87-94, 2001, IEEE Computer Society, 0-7695-1113-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 554-561, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I, pp. 687-703, 1998, Springer, 3-540-64569-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Yao-Hua Tan, Walter Thoen |
Modeling the Dynamics of Transferable Obligations in Business Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 494-501, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Bogdan Korel |
Automated Test Data Generation for Programs with Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 209-215, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima |
Data compression procedures utilizing the similarity of data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA, pp. 555-562, 1981, AFIPS Press, 978-1-4503-7921-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
25 | Gerard Salton |
Control procedures for data communication - an ASA progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(2), pp. 100-105, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
24 | Steve Roach, Jeffrey Van Baalen |
Automated Procedure Construction for Deductive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(4), pp. 393-414, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(1), pp. 69-90, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 425-430, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VS-GAMES ![In: 2009 Conference in Games and Virtual Worlds for Serious Applications, VS-GAMES 2009, Coventry, UK, March 23-24, 2009, pp. 95-102, 2009, IEEE Computer Society, 978-0-7695-3588-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 27(5), pp. 10-14, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings, pp. 27-34, 2007, IEEE Computer Society, 0-7695-3023-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Search Parameter Optimization, Decision Procedures, Boolean Satisfiability |
23 | Ralph-Johan Back, Viorel Preoteasa |
Reasoning about recursive procedures with parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
predicate transformer semantics, Hoare logic, refinement calculus, recursive procedures |
23 | Sue Jackson |
Editing computer hardware procedures for multimedia presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: The Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, SIGDOC 2001, Santa Fe, New Mexico, USA, October 21-24, 2001, pp. 68-72, 2001, ACM, 1-58113-295-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hardware procedures, service manuals, multimedia, animation, editing |
23 | Domenico Cantone, Vincenzo Cutello |
Decision Procedures for Stratified Set-Theoretic Syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993, pp. 105-110, 1993, ACM, 0-89791-604-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Multi-sorted languages, Set Theory, Decision Procedures |
23 | Che-Liang Yang |
Constructing Optimal Procedures for Testing Series Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(7), pp. 943-945, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(4), pp. 559-564, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(8), pp. 703-712, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(12), pp. 846-849, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
standardization, procedures, criteria |
23 | E. L. Lohse |
Code extension procedures for information interchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(12), pp. 849-852, 1968. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![SPIE, 9781510660373 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Andy Zhang, Mehdi Boudissa, Maxime Nemo, Jérôme Tonetti, Matthieu Chabanas |
Towards a learning-based CT segmentation of acetabular fractures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Valentin Boussot, Jean-Louis Dillenseger |
Statistical model for the prediction of lung deformation during video-assisted thoracoscopic surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Allison M. Okamura |
Seeing and feeling in robot-assisted surgery (Conference Presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Maryam E. Rettmann |
Proton beam ablation of ventricular tachycardia (Conference Presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Patric Bettati, Baowei Fei |
An advanced system with advanced user interfaces for image-guided intervention applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Baptiste Noblet, Matthieu Chabanas, Simon Rouzé, Sandrine Voros |
Registration of 2D monocular endoscopy to 3D CBCT for video-assisted thoracoscopic surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Krzysztof Gromada, Bartlomiej Piotrowski, Piotr Ciacka, Adam Kurek, Andrea Curatolo |
Improved tool tracking algorithm for eye surgery based on combined color space masks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Athena Reissis, Soojeong Yoo, Matthew J. Clarkson, Stephen A. Thompson |
The effect of luminance on depth perception in augmented reality guided laparoscopic surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Avery Gosselin, Nimesha Ranasinghe, Terry S. Yoo |
Toward three-dimensional (3D) human biomimetic models for x-ray radiation dosimetry and biomedical image analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2023: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660373. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 13509 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|