Search results for "Normalisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
89	Ben He, Iadh Ounis	Term Frequency Normalisation Tuning for BM25 and DFR Models.	ECIR	2005	DBLP DOI BibTeX RDF
77	Ben He, Iadh Ounis	Setting Per-field Normalisation Hyper-parameters for the Named-Page Finding Search Task.	ECIR	2007	DBLP DOI BibTeX RDF
77	María Vanrell 0001, Felipe Lumbreras, Albert Pujol, Ramón Baldrich, Josep Lladós 0001, Juan José Villanueva	Colour normalisation based on background information.	ICIP (1)	2001	DBLP DOI BibTeX RDF
76	Ben He, Iadh Ounis	A study of the dirichlet priors for term frequency normalisation.	SIGIR	2005	DBLP DOI BibTeX RDF	dirichlet priors, term frequency normalisation, weighting model
65	Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey	Demand-Driven Normalisation for ACD Term Rewriting.	ICLP	2009	DBLP DOI BibTeX RDF
65	James Short, Josef Kittler, Kieron Messer	Photometric Normalisation for Component-based Face Verification.	FGR	2006	DBLP DOI BibTeX RDF
65	Michel Zitt, Suzy Ramanana-Rahary, Elise Bassecoulard	Relativity of citation performance and excellence measures: From cross-field to cross-scale effects of field-normalisation.	Scientometrics	2005	DBLP DOI BibTeX RDF
64	Ahmad Aljamali, Ebad Banissi	Normalisation and Exploration Design Method of Islamic Geometric Patterns.	GMAG	2003	DBLP DOI BibTeX RDF	Sub-Motif Grid, Normalisation, Formulation
64	Edmondo Trentin, Diego Giuliani	A Mixture of Recurrent Neural Networks for Speaker Normalisation.	Neural Comput. Appl.	2001	DBLP DOI BibTeX RDF	Mixture of neural networks, Speaker normalisation, Speech recognition, Recurrent neural network, Speaker adaptation, Multivariate regression
60	Alan L. Rector	Modularisation of domain ontologies implemented in description logics and related formalisms including OWL.	K-CAP	2003	DBLP DOI BibTeX RDF	ontologies, semantic web, OWL, description logics
53	Kentaro Kikuchi, Stéphane Lengrand	Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.	FoSSaCS	2008	DBLP DOI BibTeX RDF
53	Waiyawuth Euachongprasit, Chotirat Ann Ratanamahatana	Efficient Multimedia Time Series Data Retrieval Under Uniform Scaling and Normalisation.	ECIR	2008	DBLP DOI BibTeX RDF	Uniform Scaling, Time Series, Content-Based Multimedia Retrieval
53	Craig Macdonald, Vassilis Plachouras, Ben He, Christina Lioma, Iadh Ounis	University of Glasgow at WebCLEF 2005: Experiments in Per-Field Normalisation and Language Specific Stemming.	CLEF	2005	DBLP DOI BibTeX RDF
53	Qin Li, Jonathan Edwards	An Enhanced Normalisation Technique for Wavelet Shape Descriptors.	CIT	2004	DBLP DOI BibTeX RDF
53	Terence Kwok, Kate A. Smith	Nonlinear System Dynamics in the Normalisation Process of a Self-Organising Neural Network for Combinatorial Optimisation.	IWANN (1)	2001	DBLP DOI BibTeX RDF
53	Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom	Uniform Normalisation beyond Orthogonality.	RTA	2001	DBLP DOI BibTeX RDF
53	Vincent van Oostrom	Normalisation in Weakly Orthogonal Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
53	Thomas Arts, Jürgen Giesl	Proving Innermost Normalisation Automatically.	RTA	1997	DBLP DOI BibTeX RDF
52	José Espírito Santo	Refocusing Generalised Normalisation.	CiE	2007	DBLP DOI BibTeX RDF	generalised elimination rules, multiarity, normalisation
47	Barbara Petit	A Polymorphic Type System for the Lambda-Calculus with Constructors.	TLCA	2009	DBLP DOI BibTeX RDF	strong normalisation, pattern matching, polymorphism, lambda-calculus
47	Chee-Way Chong, P. Raveendran 0001, R. Mukundan 0001	The scale invariants of pseudo-Zernike moments.	Pattern Anal. Appl.	2003	DBLP DOI BibTeX RDF	Image normalisation, Radial moments, Scale Invariants, Geometric moments, Pseudo-Zernike moments
41	Juan Ramón Rico-Juan, José Manuel Iñesta Quereda	Normalisation of Confidence Voting Methods Applied to a Fast Handwritten OCR Classification.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
41	Clinton Fookes, George Mamic, Chris McCool, Sridha Sridharan	Normalisation and Recognition of 3D Face Data Using Robust Hausdorff Metric.	DICTA	2008	DBLP DOI BibTeX RDF
41	Norman Poh, Josef Kittler	On the Use of Log-Likelihood Ratio Based Model-Specific Score Normalisation in Biometric Authentication.	ICB	2007	DBLP DOI BibTeX RDF
41	Parnesh Raniga, Pierrick Bourgeat, Sébastien Ourselin, Victor Villemagne, Graeme O'Keefe, Christopher Rowe	Pib-Pet Segmentation for Automatic Suvr Normalisation without Mr Information.	ISBI	2007	DBLP DOI BibTeX RDF
41	Makoto Tatsuta, Mariangiola Dezani-Ciancaglini	Normalisation is Insensible to lambda-Term Identity or Difference.	LICS	2006	DBLP DOI BibTeX RDF
41	José Espírito Santo	Revisiting the Correspondence between Cut Elimination and Normalisation.	ICALP	2000	DBLP DOI BibTeX RDF
41	Reyer Zwiggelaar, Christopher J. Taylor 0001, Caroline M. E. Rubin	Detection of the Central Mass of Spiculated Lesions - Signature Normalisation and Model Data Aspects.	IPMI	1999	DBLP DOI BibTeX RDF
40	Ahlem Nabli, Jamel Feki, Faïez Gargouri	An Ontology Based Method for Normalisation of Multidimensional Terminology.	SITIS	2006	DBLP DOI BibTeX RDF	Multidimensional concept, decisional ontology, semantic relation, normalisation
40	Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.	POPL	2004	DBLP DOI BibTeX RDF	Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
36	Clare A. McGrory, D. M. Titterington, R. Reeves, Anthony N. Pettitt	Variational Bayes for estimating the parameters of a hidden Potts model.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Potts/Ising model, Hidden Markov random field, Variational approximation, Pseudo-likelihood, Reduced dependence approximation, Bayesian inference
36	Delia Kesner	Perpetuality for Full and Safe Composition (in a Constructive Setting).	ICALP (2)	2008	DBLP DOI BibTeX RDF
36	José Espírito Santo	Delayed Substitutions.	RTA	2007	DBLP DOI BibTeX RDF
36	Delia Kesner, Stéphane Lengrand	Extending the Explicit Substitution Paradigm.	RTA	2005	DBLP DOI BibTeX RDF
36	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
36	Robert G. Aykroyd	Approximations for Gibbs Distribution Normalising Constants.	Stat. Comput.	2002	DBLP DOI BibTeX RDF	Bayesian image analysis, normalising constant, reverse-logistic regression, Markov random field, Markov chain Monte Carlo, partition function
36	Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001	Explicit Substitutions for the Lambda-Calculus.	ALP/HOA	1997	DBLP DOI BibTeX RDF
36	Fairouz Kamareddine, Alejandro Ríos 0001	A Lambda-Calculus à la de Bruijn with Explicit Substitutions	PLILP	1995	DBLP DOI BibTeX RDF
36	John K. Debenham	Decomposition of Four Component Items.	DEXA	1993	DBLP DOI BibTeX RDF
36	G. C. H. Sharman	A Constructive Definition of Third Normal Form.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF
35	Rubén Vera-Rodríguez, John S. D. Mason, Nicholas W. D. Evans	Automatic Cross-Biometric Footstep Database Labelling Using Speaker Recognition.	ICB	2009	DBLP DOI BibTeX RDF	Automatic database labelling, score normalisation, footstep biometric, speaker verification, multimodal biometrics
35	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
34	Martin Molhanec	Deriving Relational Normalisation from Conceptual Normalisation.	MOBA	2023	DBLP DOI BibTeX RDF
34	Marion Baranes	Normalisation orthographique de corpus bruités. (Spelling Normalisation of Noisy Text).		2015	RDF
34	Alexis Bernadet	Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. (Non idempotent-intersection types to refine strong normalisation with quantitative information).		2014	RDF
34	Julián Andrés Valdés Vargas, Pierre Badin, Gopal Ananthakrishnan, Laurent Lamalle	Normalisation articulatoire du locuteur par méthodes de décomposition tri-linéaire basées sur des données IRM (Articulatory speaker normalisation based on MRI-data using three-way linear decomposition methods) [in French].	JEP-TALN-RECITAL 2012	2012	DBLP BibTeX RDF
29	Philippe Andrey, Emeric Maschino, Yves Maurin	Spatial normalisation of three-dimensional neuroanatomical models using shape registration, averaging, and warping.	ISBI	2008	DBLP DOI BibTeX RDF
29	Jeroen Ketema	On Normalisation of Infinitary Combinatory Reduction Systems.	RTA	2008	DBLP DOI BibTeX RDF
29	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.	TLCA	2007	DBLP DOI BibTeX RDF
29	Thierry Coquand, Arnaud Spiwack	A Proof of Strong Normalisation using Domain Theory.	LICS	2006	DBLP DOI BibTeX RDF
29	Abbas Z. Kouzani	Lighting normalisation for face recognition.	ICIP (2)	2005	DBLP DOI BibTeX RDF
29	Dat Tran 0001	Fuzzy Normalisation Methods for Pattern Verification.	ICBA	2004	DBLP DOI BibTeX RDF
29	James Short, Josef Kittler, Kieron Messer	A Comparison of Photometric Normalisation Algorithms for Face Verification.	FGR	2004	DBLP DOI BibTeX RDF
29	Eduardo Bonelli	A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.	FoSSaCS	2003	DBLP DOI BibTeX RDF
29	Colin Studholme	Simultaneous Population Based Image Alignment for Template Free Spatial Normalisation of Brain Anatomy.	WBIR	2003	DBLP DOI BibTeX RDF
29	José Espírito Santo, Luís Pinto 0001	Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
29	Christian Urban	Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.	TLCA	2001	DBLP DOI BibTeX RDF	Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic
29	Andreas Abel 0001, Thorsten Altenkirch	A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types.	TYPES	1999	DBLP DOI BibTeX RDF
29	Kim Steenstrup Pedersen, Mads Nielsen	The Hausdorff Dimension and Scale-Space Normalisation of Natural Images.	Scale-Space	1999	DBLP DOI BibTeX RDF
24	José Espírito Santo	The lambda-Calculus and the Unity of Structural Proof Theory.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
24	Delia Kesner, Fabien Renaud	The Prismoid of Resources.	MFCS	2009	DBLP DOI BibTeX RDF
24	Ulf Sandström, Martin Hällsten	Persistent nepotism in peer-review.	Scientometrics	2008	DBLP DOI BibTeX RDF
24	Colin de la Higuera, Luisa Micó	A contextual normalised edit distance.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
24	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
24	Peter V. Gehler, Carsten Rother, Andrew Blake 0001, Thomas P. Minka, Toby Sharp	Bayesian color constancy revisited.	CVPR	2008	DBLP DOI BibTeX RDF
24	Milad Niqui	Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
24	Delia Kesner	The Theory of Calculi with Explicit Substitutions Revisited.	CSL	2007	DBLP DOI BibTeX RDF
24	Nils Anders Danielsson	A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family.	TYPES	2006	DBLP DOI BibTeX RDF
24	Ronan Cummins, Colm O'Riordan	An evaluation of evolved term-weighting schemes in information retrieval.	CIKM	2005	DBLP DOI BibTeX RDF	information retrieval, genetic programming, term-weighting
24	Sam Lindley, Ian Stark	Reducibility and TT-Lifting for Computation Types.	TLCA	2005	DBLP DOI BibTeX RDF
24	Tony A. Meyer	Dynamically Determining Affect During Scripted Dialogue.	PRICAI	2004	DBLP DOI BibTeX RDF
24	Terence Kwok, Kate A. Smith	Performance-Enhancing Bifurcations in a Self-Organising Neural Network.	IWANN (1)	2003	DBLP DOI BibTeX RDF
24	Kai Brünnler	Atomic Cut Elimination for classical Logic.	CSL	2003	DBLP DOI BibTeX RDF	atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
24	Colin Studholme, Valerie Cardenas, Andrew Maudsley, Michael Weiner	An Intensity Consistent Approach to the Cross Sectional Analysis of Deformation Tensor Derived Maps of Brain Shape.	MICCAI (1)	2002	DBLP DOI BibTeX RDF
24	Dat Tran 0001, Michael Wagner 0004	Fuzzy C-Means Clustering-Based Speaker Verification.	AFSS	2002	DBLP DOI BibTeX RDF
24	Dat Tran 0001, Michael Wagner 0004	Noise Clustering-Based Speaker Verification.	AFSS	2002	DBLP DOI BibTeX RDF
24	Pierre-Etienne Moreau, Hélène Kirchner	A Compiler for Rewrite Programs in Associative-Commutative Theories.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	AC theories, AC many-to-one matching, compilation, rewrite systems
24	Roberto Di Cosmo, Neil Ghani	On Modular Properties of Higher Order Extensional Lambda Calculi.	ICALP	1997	DBLP DOI BibTeX RDF
24	John K. Debenham	Understanding Expert Systems Maintenance	DEXA	1995	DBLP DOI BibTeX RDF
24	Jean-Marc Andreoli, Remo Pareschi	Logic Programming with Sequent Systems, A Linear Logic Approach.	ELP	1989	DBLP DOI BibTeX RDF
24	Yukihide Takayama	QPC: QJ-based Proof Compiler - Simple Examples and Analysis.	ESOP	1988	DBLP DOI BibTeX RDF
22	Nicola Stokes, Yi Li, Lawrence Cavedon, Justin Zobel	Exploring criteria for successful query expansion in the genomic domain.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Passage retrieval for genomic queries, Knowledge based query expansion, Corpus based query expansion, Concept-based normalisation passage ranking, TREC 2006 Genomics Track, Pseudo relevance feedback
22	Emmanuel Beffara	An Algebraic Process Calculus.	LICS	2008	DBLP DOI BibTeX RDF	testing semantics, pi-calculus, full abstraction, trace semantics, normalisation
22	Wafa Boussellaa, Abderrazak Zahour, Adel M. Alimi	A methodology for the separation of foreground/background in Arabic historical manuscripts using hybrid methods.	SAC	2007	DBLP DOI BibTeX RDF	Arabic historical color manuscript image, foreground/background, light intensity normalisation, segmentation, k-means, maximum likelihood, restoration
22	Mark A. Huckvale	ACCDIST: An Accent Similarity Metric for Accent Recognition and Diagnosis.	Speaker Classification (2)	2007	DBLP DOI BibTeX RDF	Accent, accent recognition, accent similarity, speaker normalisation
22	John R. Cowell, Fiaz Hussain	A Fast Recognition System for Isolated Arab c Characters.	IV	2002	DBLP DOI BibTeX RDF	image signatures, pattern recognition, OCR, Arabic, confusion matrix, fonts, normalisation
22	Michael Marz	An Algebraic View on Recursive Types.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	positive types, strong normalisation, calculus, recursive types, universal algebra
22	Zi-Cai Li, Ching Y. Suen, Tien Dai Bui, Yuan Yan Tang, Quan Lin Gu	Splitting-Integrating Method for Normalizing Images by Inverse Transformations.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	images normalisation, splitting-integrating method, picture transformations, inverse nonlinear mapping, picture processing, picture processing, convergence, convergence, antialiasing, inverse transformations
22	Hong-Chih Liu, Mandyam D. Srinath	Partial Shape Classification Using Contour Matching in Distance Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	partial shape classification, boundary segmentation, translation estimation, rotation estimation, scaling factor estimation, boundary normalisation, 2D shapes, curvature function, local maxima, boundary-matching, chamfer 3/4 distance transformation, partial distance measurement, sharp corners, pattern recognition, picture processing, noise, digitized image, distance transformation, local minima, contour matching, curve segments
17	Asanthika Imbulpitiya, Jacqueline Whalley, Mali Senapathi	A Qualitative Study of Novice Experiences with Database Normalisation.	ACE	2024	DBLP DOI BibTeX RDF
17	Tess X. H. Luo, Wallace W. L. Lai, Zhanzhan Lei	Intensity Normalisation of GPR C-Scans.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
17	Jian Wang, Xinyi Tang, Yifan Hao, Dongjie Wu, Xiangzhou Ye, Zheng Li	A novel head network and group normalisation help track more accurately.	IET Image Process.	2023	DBLP DOI BibTeX RDF
17	A. Baskar, T. Gireesh Kumar	Automatic face enhancement technique using sigmoid normalisation based on single scale Retinex algorithm.	Int. J. Adv. Intell. Paradigms	2023	DBLP DOI BibTeX RDF
17	Laura García-Sardiña, Federico Retyk, Hermenegildo Fabregat, Lucas Lacasa Alvarez, Rus Poves, Rabih Zbib	Normalisation of Education Information in Digitalised Recruitment Processes.	Proces. del Leng. Natural	2023	DBLP BibTeX RDF
17	Chris Barrett	On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jack Breen, Kieran Zucker, Katie Allen, Nishant Ravikumar, Nicolas M. Orsi	Generative Adversarial Networks for Stain Normalisation in Histopathology.	CoRR	2023	DBLP DOI BibTeX RDF
17	Thierry Coquand	Reduction Free Normalisation for a proof irrelevant type of propositions.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Jelica Vasiljevic, Friedrich Feuerhake, Cédric Wemmert, Thomas Andrew Lampert	HistoStarGAN: A unified approach to stain normalisation, stain transfer and stain invariant segmentation in renal histopathology.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
17	David Cuesta-Frau, Mahdy Kouka, Javier Silvestre-Blanes, Víctor-M. Sempere-Payá	Slope Entropy Normalisation by Means of Analytical and Heuristic Reference Values.	Entropy	2023	DBLP DOI BibTeX RDF