Search results for "normalisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hamed Hamid Muhammed	Using Hyperspectral Reflectance Data for Discrimination Between Healthy and Diseased Plants, and Determination of Damage-Level in Diseased Plants.	AIPR	2002	DBLP DOI BibTeX RDF
12	Arto Kaarna, Jussi Parkkinen	Cursive Script Recognition using Wildcards and Multiple Experts.	Pattern Anal. Appl.	2001	DBLP DOI BibTeX RDF	Dynamic handwriting data, Explanation expert, Multi-expert combination, Poor quality handwriting recognition, Wildcard likelihood, Wildcards, Self-confidence
12	Thorsten Altenkirch, Thierry Coquand	A Finitary Subsystem of the Polymorphic lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
12	Martin Steinebach, Jana Dittmann, Christian Seibel, Lucilla Croce Ferri, Fabien A. P. Petitcolas, Nazim Fatès, Caroline Fontaine, Frédéric Raynal	StirMark Benchmark: Audio Watermarking Attacks.	ITCC	2001	DBLP DOI BibTeX RDF
12	Alan L. Rector, Chris Wroe, Jeremy Rogers, Angus Roberts	Untangling taxonomies and relationships: personal and practical problems in loosely coupled development of large ontologies.	K-CAP	2001	DBLP DOI BibTeX RDF	cooperative development, very large ontologies, medical, ontology development, ontology design
12	Wim Vanhoof	Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.	LPAR	2000	DBLP DOI BibTeX RDF
12	John K. Debenham	Knowledge Decay in a Normalised Knowledge Base.	DEXA	2000	DBLP DOI BibTeX RDF
12	Olivier Chomat, Vincent Colin de Verdière, Daniela Hall, James L. Crowley	Local Scale Selection for Gaussian Based Description Techniques.	ECCV (1)	2000	DBLP DOI BibTeX RDF
12	Eike Ritter	Characterising Explicit Substitutions which Preserve Termination.	TLCA	1999	DBLP DOI BibTeX RDF
12	Andrew Beaumont-Smith, Neil Burgess, S. Lefrere, Cheng-Chew Lim	Reduced Latency IEEE Floating-Point Standard Adder Architectures.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF	VLSI, floating-point, adder, arithmetic
12	Steffen van Bakel, Franco Barbanera, Maribel Fernández	Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule.	TYPES	1999	DBLP DOI BibTeX RDF
12	Daniel C. Alexander, James C. Gee, Ruzena Bajcsy	Elastic Matching of Diffusion Tensor MRIs.	CVPR	1999	DBLP DOI BibTeX RDF	medical imaging, Image registration, elastic matching, diffusion tensor MRIs
12	Angela Caunce, Christopher J. Taylor 0001	Using Local Geometry to Build 3D Sulcal Models.	IPMI	1999	DBLP DOI BibTeX RDF
12	Olivier Coulon, Jean-François Mangin, Jean-Baptiste Poline, Vincent Frouin, Isabelle Bloch	Structural Group Analysis of Functional Maps.	IPMI	1999	DBLP DOI BibTeX RDF
12	Femke van Raamsdonk	Higher-Order Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
12	Djoerd Hiemstra	A Linguistically Motivated Probabilistic Model of Information Retrieval.	ECDL	1998	DBLP DOI BibTeX RDF	Information Retrieval Theory, Statistical Information Retrieval, Statistical Natural Language Processing
12	Gilles Barthe	The Relevance of Proof-Irrelevance.	ICALP	1998	DBLP DOI BibTeX RDF
12	Eduardo Giménez 0001	Structural Recursive Definitions in Type Theory.	ICALP	1998	DBLP DOI BibTeX RDF
12	Michael H. W. Smart	Rotation Invariant IR Object Recognition Using Adaptive Kernel Subspace Projections with a Neural Network.	IWANN	1997	DBLP DOI BibTeX RDF
12	Hongwei Xi	Evaluation Under Lambda Abstraction.	PLILP	1997	DBLP DOI BibTeX RDF	partial evaluation, lambda-calculus, run-time code generation
12	Wageeh W. Boles	A security system based on human iris identification using wavelet transform.	KES (2)	1997	DBLP DOI BibTeX RDF
12	Stefan Carlsson, Roger Mohr, Theo Moons, Luce Morin, Charlie Rothwell, Marc Van Diest, Luc Van Gool, Francoise Veillon, Andrew Zisserman	Semi-local projective invariants for the recognition of smooth plane curves.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
12	Fairouz Kamareddine, Alejandro Ríos 0001	Generalized beta-Reduction and Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF
12	Radu Calinescu	Bulk Synchronous Parallel Scheduling of Uniform Dags.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
12	Roel Bloo, Kristoffer Høgsbro Rose	Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.	RTA	1996	DBLP DOI BibTeX RDF
12	Flemming Nielson, Hanne Riis Nielson, Torben Amtoft	Polymorphic Subtyping for Effect Analysis: The Algorithm.	LOMAPS	1996	DBLP DOI BibTeX RDF
12	Gilles Barthe, Paul-André Melliès	On the Subject Reduction Property for Algebraic Type Systems.	CSL	1996	DBLP DOI BibTeX RDF
12	Kalle Åström	Fundamental Limitations on Projective Invariants of Planar Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Projective and affine invariants, recognition, Hausdorff metric
12	Jihad Boulos, Didier Boudigue	An Application of SMART2: A Tool for Performance Evaluation of Relational DataBase Programs.	MMB	1995	DBLP DOI BibTeX RDF
12	Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell	Conceptual Distance of Numerically Specified Case Features.	ANNES	1995	DBLP DOI BibTeX RDF	Case-Based Reasoning, Fuzzy Set Theory
12	Gerda Janssens, Wim Simoens	On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs.	CC	1994	DBLP DOI BibTeX RDF
12	Robin Milner	Higher-Order Action Calculi.	CSL	1993	DBLP DOI BibTeX RDF
12	Michel Parigot	Free Deduction: An Analysis of "Computations" in Classical Logic.	RCLP	1991	DBLP DOI BibTeX RDF
12	D. C. Barber, W. B. Tindale	Extraction of Background Distributions from Abnormal Data Sets: Application to Radiolabelled Leucocyte Imaging.	IPMI	1991	DBLP DOI BibTeX RDF	HMPAO, Crohn's disease, Image registration, background subtraction