 |
LNCS 4791 - Robust Autonomous Model Learning from 2D and 3D Data Sets by Georg Langs, René Donner, Philipp Peloschek & Horst Bischof3 MB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Robust Computation of Mutual Information Using Spatially Adaptive Meshes by Hari Sundar, Dinggang Shen, George Biros, Chenyang Xu & Christos Davatzikos887.7 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Shape Analysis Using a Point-Based Statistical Shape Model Built on Correspondence Probabilities by Heike Hufnagel, Xavier Pennec, Jan Ehrhardt, Heinz Handels & Nicholas Ayache1.2 MB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Subject-Specific Biomechanical Simulation of Brain Indentation Using a Meshless Method by Ashley Horton, Adam Wittek & Karol Miller560.1 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Tagged Volume Rendering of the Heart by Daniel Mueller, Anthony Maeder & Peter O’Shea3.5 MB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Thoracic CT-PET Registration Using a 3D Breathing Model by Antonio Moreno, Sylvie Chambon, Anand P. Santhanam, Roberta Brocardo, Patrick Kupelian, Jannick P. Rolland, Elsa Angelini & Isabelle Bloch484 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Towards an Identification of Tumor Growth Parameters from Time Series of Images by Ender Konukoglu, Olivier Clatz, Pierre-Yves Bondiau, Maxime Sermesant, Hervé Delingette & Nicholas Ayache471.7 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Unsupervised Reconstruction of a Patient-Specific Surface Model of a Proximal Femur from Calibrated Fluoroscopic Images by Guoyan Zheng, Xiao Dong & Miguel A. Gonzalez Ballester951.1 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Virtually Extended Surgical Drilling Device: Virtual Mirror for Navigated Spine Surgery by Christoph Bichlmeier, Sandro Michael Heining, Mohammad Rustaee & Nassir Navab7.2 MB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4959 - Java Bytecode Verification for @NonNull Types by Chris Male, David J. Pearce, Alex Potanin & Constantine Dymnikov552.3 KB - 16 Oct, 2020 Tags=[Compiler Construction]
|
 |
LNCS 4973 - A Hybrid Random Subspace Classifier Fusion Approach for Protein Mass Spectra Classification by Amin Assareh, Mohammad Hassan Moradi & L. Gwenn Volkert221.5 KB - 16 Oct, 2020 Tags=[Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics]
|
 |
LNCS 4973 - A Wrapper-Based Feature Selection Method for ADMET Prediction Using Evolutionary Computing by Axel J. Soto, Rocío L. Cecchini, Gustavo E. Vazquez & Ignacio Ponzoni390.8 KB - 16 Oct, 2020 Tags=[Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics]
|
 |
LNCS 5050 - Similarities in Fuzzy Data Mining: From a Cognitive View to Real-World Applications by Bernadette Bouchon-Meunier, Maria Rifqi & Marie-Jeanne Lesot273.5 KB - 16 Oct, 2020 Tags=[Computational Intelligence: Research Frontiers]
|
 |
LNCS 5050 - The Berlin Brain-Computer Interface by Benjamin Blankertz, Michael Tangermann, Florin Popescu, Matthias Krauledat, Siamac Fazli, Márton Dónaczy, Gabriel Curio & Klaus-Robert Müller999.2 KB - 16 Oct, 2020 Tags=[Computational Intelligence: Research Frontiers]
|
 |
LNCS 5073 - Model-Based Evolution of an E-Learning Environment Based on Desktop Computer to Mobile Computing by Ana I. Molina, William J. Giraldo, Francisco Jurado, Miguel A. Redondo & Manuel Ortega9.3 MB - 16 Oct, 2020 Tags=[Computational Science and Its Applications – ICCSA 2008]
|
 |
LNCS 5102 - An Introductory Computer Graphics Course in the Context of the European Space of Higher Education: A Curricular Approach by Akemi Gálvez, Andrés Iglesias & Pedro Corcuera224.3 KB - 16 Oct, 2020 Tags=[Computational Science – ICCS 2008]
|
 |
LNCS 5102 - Improving the Introduction to a Collaborative Project-Based Course on Computer Network Applications by Felix Freitag, Leandro Navarro & Joan Manuel Marquès166.8 KB - 16 Oct, 2020 Tags=[Computational Science – ICCS 2008]
|
 |
LNCS 5102 - VII International Workshop on Computer Graphics and Geometric Modeling – CGGM’2008 by Andrés Iglesias138.1 KB - 16 Oct, 2020 Tags=[Computational Science – ICCS 2008]
|
 |
LNCS 5123 - <TEX>{\sc CSIsat}</TEX>: Interpolation for LA+EUF by Dirk Beyer, Damien Zufferey & Rupak Majumdar340 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5103 - Framework for Workflow Gridication of Genetic Algorithms in Java by Boro Jakimovski, Darko Cerepnalkoski & Goran Velinov181.2 KB - 16 Oct, 2020 Tags=[Computational Science – ICCS 2008]
|
 |
LNCS 5123 - A Numerical Abstract Domain Based on <TEX>{\itshape Expression Abstraction}</TEX> and <TEX>{\itshape Max Operator}</TEX> with Application in Timing Analysis by Bhargav S. Gulavani & Sumit Gulwani525.5 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Application of Formal Word-Level Analysis to Constrained Random Simulation by Hyondeuk Kim, Hoonsang Jin, Kavita Ravi, Petr Spacek, John Pierce, Bob Kurshan & Fabio Somenzi233.8 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) by Harry Foster196.4 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems by Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik & K.C. Shashidhar266 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Conflict-Tolerant Features by Deepak D’Souza & Madhu Gopinathan586.3 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|