Search results for "mathematical"

Hits ?▲	Authors	Title	Venue	Year	Link
24	L. Zöliei, J. Fisher, W. Wells	An Introduction to Statistical Methods of Medical Image Registration.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	H. Guo, A. Rangarajan, Shantanu H. Joshi	Diffeomorphic Point Matching.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Nikos Paragios	Curve Propagation, Level Set Methods and Grouping.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Joachim Weickert, Gabriele Steidl, Pavel Mrázek, Martin Welk, Thomas Brox	Diffusion Filters and Wavelets: What Can They Learn from Each Other?	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Jean-Philippe Pons, Renaud Keriven, Olivier D. Faugeras	Modelling Non-Rigid Dynamic Scenes from Multi-View Image Sequences.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Alfred M. Bruckstein	Invariant Processing and Occlusion Resistant Recognition of Planar Shapes.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	B. Legeveldt, Alejandro F. Frangi, Steven C. Mitchell, Hans C. van Assen, Sebastián Ordas, Johan H. C. Reiber, Milan Sonka	3D Active Shape and Appearance Models in Cardiac Image Analysis.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	C. Stewart	Uncertainty-Driven, Point-Based Image Registration.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Tony F. Chan, Selim Esedoglu, Frederick E. Park, Andy M. Yip	Total Variation Image Restoration: Overview and Recent Developments.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Anthony J. Yezzi, Delphine Nain, Gozde B. Unal, Ofer Zeitouni, Allen R. Tannenbaum	On a Stochastic Model of Geometric Snakes.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Yuri Boykov, Olga Veksler	Graph Cuts in Vision and Graphics: Theories and Applications.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Dimitris N. Metaxas, Xiaolei Huang 0001, Ting Chen 0001	Integrating Shape and Texture in DeformabIe Models: from Hybrid Methods to Metamorphs.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Motilal Agrawal, Anurag Mittal, Larry S. Davis	Multi-view Reconstruction of Static and Dynamic Scenes.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	S. Zucker	Differential Geometry from the Frenet Point of View: Boundary Detection, Stereo, Texture and Color.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Gianfranco Doretto, Stefano Soatto	Modeling Dynamic Scenes: An Overview of Dynamic Textures.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Laurent D. Cohen	Minimal Paths and Fast Marching Methods for Image Analysis.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Marcelo Bertalmío, Vicent Caselles, Gloria Haro, Guillermo Sapiro	PDE-Based Image and Surface Inpainting.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	A. Blake	Visual Tracking: A Short Research Roadmap.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Richard Szeliski	Image Alignment and Stitching.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	V. Chen	Characterization of Diffusion Anisotropy in DWI.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Emmanuel Prados, Olivier D. Faugeras	Shape From Shading.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Z. Wang, B. Vcmuti	Segmentation of Diffusion Tensor Images.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Fernand Meyer	Levelings: Theory and Practice.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Ioannis A. Kakadiaris, Carlos Barron	Model-Based Human Motion Capture.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Vladimir Kolmogorov, Ramin Zabih	Graph Cut Algorithms for Binocular Stereo with Occlusions.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Stéphanie Jehan-Besson, Ariane Herbulot, Michel Barlaud, Gilles Aubert	Shape Gradient for Image and Video Segmentation.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Anuj Srivastava, Shantanu H. Joshi, David Kaziska, D. Wilson	Planar Shape Analysis and Its Applications in Image-Based Inferences.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Rachid Deriche, D. Tschumpelé, Christophe Lenglet, Mikaël Rousson	Variational Approaches to the Estimation, Regularizatinn and Segmentation of Diffusion Tensor Images.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Leo J. Grady, Yiyong Sun, James Williams	Interactive Graph-Based Segmentation Methods in Cardiovascular Imaging.	Handbook of Mathematical Models in Computer Vision	2006	DBLP DOI BibTeX RDF
24	Dieter Hutter, Werner Stephan 0001 (eds.)	Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Wilfried Sieg, Saverio Cittadini	Normal Natural Deduction Proofs (in Non-classical Logics).	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Werner Stephan 0001, Bruno Langenstein, Andreas Nonnengart, Georg Rock	Verification Support Environment.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Bernd Krieg-Brückner	Towards MultiMedia Instruction in Safe and Secure Systems.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Heiko Mantel, Axel Schairer	Exploiting Generic Aspects of Security Models in Formal Developments.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Jim Doran	Agents with Exact Foreknowledge.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Howard Barringer, Dov M. Gabbay, John Woods 0001	Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Wolfgang Bibel	Time for Thinking Big in AI.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Erica Melis	Why Proof Planning for Maths Education and How?.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Alessandro Armando, Luca Compagna, Silvio Ranise	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Manfred Schmidt-Schauß	Decidable Variants of Higher-Order Unification.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Larry Wos	The Flowering of Automated Reasoning.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Leonard Bolc	Formal Description of Natural Languages: An HPSG Grammar of Polish.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Johan van Benthem	An Essay on Sabotage and Obstruction.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Franz Baader, Ian Horrocks 0001, Ulrike Sattler	Description Logics as Ontology Languages for the Semantic Web.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Deepak Kapur, Paliath Narendran, Lida Wang	A Unification Algorithm for Analysis of Protocols with Blinded Signatures.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Dieter Hutter, Serge Autexier	Formal Software Development in MAYA.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Dieter Hutter, Werner Stephan 0001	A Portrait of a Scientist: Logic, AI and Politics.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Dimitri Chubarov, Andrei Voronkov	Solving First-Order Constraints over the Monadic Class.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Klaus Fischer 0001	Self-organisation in Holonic Multiagent Systems.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Marco Benedetti, Luigia Carlucci Aiello	SAT-Based Cooperative Planning: A Proposal.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Claus-Peter Wirth	History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Christoph Beierle, Gabriele Kern-Isberner	Footprints of Conditionals.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Peter B. Andrews	Some Reflections on Proof Transformations.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Michael Beetz	Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Mateja Jamnik, Alan Bundy	Psychological Validity of Schematic Proofs.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
24	Concettina Guerra, Sorin Istrail (eds.)	Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Knut Hüper	A Dynamical System Approach to Matrix Eigenvalue Algorithms.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Johannes M. Schumacher	Control and Financial Engineering.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Joseph A. Ball, Victor Vinnikov	Overdetermined Multidimensional Systems: State Space and Frequency Domain Methods.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Gérard Ben Arous, Allen R. Tannenbaum, Ofer Zeitouni	Crystalline Stochastic Systems and Curvature Driven Flows.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Jan C. Willems, Harish K. Pillai	Dissipative Distributed Systems.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	J. William Helton	Manipulating Matrix Inequalities Automatically.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Wolfgang J. Runggaldier	On Stochastic Control in Finance.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Olof J. Staffans	Passive and Conservative Infinite-Dimensional Impedance and Scattering Systems (From a Personal Point of View).	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Shmuel Friedland	Multi-Dimensional Capacity, Pressure and Hausdorff Dimension.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Per-Olof Persson, Gilbert Strang	Smoothing by Savitzky-Golay and Legendre Filters.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Sjoerd M. Verduyn Lunel	Spectral Theory for Neutral Delay Equations with Applications to Control and Stabilization.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Robert J. McEliece, Muhammed Yildirim	Belief Propagation on Partially Ordered Sets.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Raffaello D'Andrea, Cedric Langbort, Ramu S. Chandra	A State Space Approach to Control of Interconnected Systems.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Anthony M. Bloch	Dissipative Dynamics in Classical and Quantum Conservative Systems.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Uwe Helmke, Jens Jordan	Numerics Versus Control.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Mark S. Alber, Maria A. Kiskowski, James A. Glazier, Yi Jiang	On Cellular Automaton Approaches to Modeling Biological Cells.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Pascal O. Vontobel, Hans-Andrea Loeliger	On Factor Graphs and Electrical Networks.	Mathematical Systems Theory in Biology, Communications, Computation, and Finance	2003	DBLP DOI BibTeX RDF
24	Yves-Henri Sanejouand, Georges Trinquier	Proteinlike Properties of Simple Models.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Haim J. Wolfson	Spatial Pattern Detection in Structural Bioinformatics.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Maricel Kann, Richard A. Goldstein	OPTIMA: A New Score Function for the Detection of Remote Homologs.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Mary Ellen Bock, Concettina Guerra	Identifying Flat Regions and Slabs in Protein Structures.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Dean C. Adams, Gavin J. P. Naylor	A Comparison of Methods for Assessing the Structural Similarity of Proteins.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Giuseppe Lancia, Sorin Istrail	Protein Structure Comparison: Algorithms and Applications.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	John R. Quine, Timothy A. Cross	Protein Structure from Solid-State NMR.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Carlo Ferrari, Concettina Guerra	Geometric Methods for Protein Structure Comparison.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Flavio Seno, Cristian Micheletti, Amos Maritan, Jayanth R. Banavar	Learning Effective Amino-Acid Interactions.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Andrea Rossi 0004, Cristian Micheletti, Flavio Seno, Amos Maritan	Self-consistent Knowledge-Based Approach to Protein Design.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Claus Lundegaard, Thomas Nordahl Petersen, Morten Nielsen 0001, Henrik Bohr, Jakob Bohr, Søren Brunak, Garry Gippert, Ole Lund	Prediction of Protein Secondary Structure at High Accuracy Using a Combination of Many Neural Networks.	Mathematical Methods for Protein Structure Analysis and Design	2003	DBLP DOI BibTeX RDF
24	Dennis W. Prather, Mark S. Mirotznik, Shouyuan Shi	5. Electromagnetic Models for Finite Aperiodic Diffractive Optical Elements.	Mathematical Modeling in Optical Science	2001	DBLP DOI BibTeX RDF
24	J. Allen Cox	1. Overview and Applications of Diffractive Optics Technology.	Mathematical Modeling in Optical Science	2001	DBLP DOI BibTeX RDF
24	Oscar P. Bruno, Fernando Reitich	3. High-Order Boundary Perturbation Methods.	Mathematical Modeling in Optical Science	2001	DBLP DOI BibTeX RDF
24	Peter Kuchment	7. The Mathematics of Photonic Crystals.	Mathematical Modeling in Optical Science	2001	DBLP DOI BibTeX RDF
24	Habib Ammari, Jean-Claude Nédélec	6. Analysis of the Diffraction from Chiral Gratings.	Mathematical Modeling in Optical Science	2001	DBLP DOI BibTeX RDF
24	Gang Bao, David C. Dobson	2. Variational Methods for Diffractive Optics Modeling.	Mathematical Modeling in Optical Science	2001	DBLP DOI BibTeX RDF
24	Carlos Martín-Vide, Gheorghe Paun (eds.)	Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
24	Pierre Hansen, Patrick W. Fowler, Maolin Zheng (eds.)	Discrete Mathematical Chemistry, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, 1998	Discrete Mathematical Chemistry	2000	DBLP DOI BibTeX RDF
24	Ding-Zhu Du, Panos M. Pardalos, Jie Wang 0002 (eds.)	Discrete Mathematical Problems with Medical Applications, Proceedings of a DIMACS Workshop, December 8-10, 1999	Discrete Mathematical Problems with Medical Applications	2000	DBLP DOI BibTeX RDF
24	Gundula Niemann, Friedrich Otto	Confluent Internal Contextual Languages.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
24	Symeon Bozapalidis	New Syntactical Invariants for Tree Languages.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
24	Adrian Chitu	Bounded Semilinear Languages and PC Grammar Systems.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
24	Radu Gramatovici	Bounded Deterministic Push-Down Automata.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
24	Lech Polkowski, Andrzej Skowron	Synthesis Grammars.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
24		Papers by Solomon Marcus.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF