Search results for "normalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Abdur Chowdhury, M. Catherine McCabe, David A. Grossman, Ophir Frieder	Document normalization revisited.	SIGIR	2002	DBLP DOI BibTeX RDF	information retrieval, similarity measure, TREC, text search, relevance measure
16	Mauro Barni, Franco Bartolini, Vito Cappellini, Alessandro Piva, Filippo Salucco	Text based geometric normalization for robust watermarking of digital maps.	ICIP (1)	2001	DBLP DOI BibTeX RDF
16	Paul McNamee, James Mayfield	JHU/APL Experiments at CLEF: Translation Resources and Score Normalization.	CLEF	2001	DBLP DOI BibTeX RDF
16	Chun Keung Chau, Chak Shun Lai, Bertram Emil Shi	Feature vs. Model Based Vocal Tract Length Normalization for a Speech Recognition-Based Interactive Toy.	Active Media Technology	2001	DBLP DOI BibTeX RDF
16	Giuseppe Polese, Shi-Kuo Chang	Towards a Theory of Normalization for Multimedia Databases.	HCC	2001	DBLP DOI BibTeX RDF	MDBMS, Multimedia Databases, Functional Dependency, Normal Form, Anomalies
16	Jezekiel Ben-Arie, Zhiqian Wang	Estimation of 3-D motion using eigen-normalization and expansion matching.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
16	Juan María Sánchez, Xavier Binefa	Color Normalization for Appearance Based Recognition of Video Key-Frames.	ICPR	2000	DBLP DOI BibTeX RDF
16	Andrei Mikheev	Document centered approach to text normalization.	SIGIR	2000	DBLP DOI BibTeX RDF
16	László G. Nyúl, Jayaram K. Udupa	New Variants of a Method of MRI Scale Normalization.	IPMI	1999	DBLP DOI BibTeX RDF
16	Leo Bachmair, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Ashish Tiwari 0001	Normalization via Rewrite Closures.	RTA	1999	DBLP DOI BibTeX RDF
16	Deborah A. Coughlin	Leveraging Syntactic Information for Text Normalization.	TSD	1999	DBLP DOI BibTeX RDF
16	Vincent Balat, Olivier Danvy	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
16	Gilles Dowek, Benjamin Werner	Proof Normalization Modulo.	TYPES	1998	DBLP DOI BibTeX RDF
16	Ralph Matthes	Monotone Fixed-Point Types and Strong Normalization.	CSL	1998	DBLP DOI BibTeX RDF
16	Sang-Yup Kim, Seong-Whan Lee	Nonlinear Shape Normalization Methods for Gray-Scale Handwritten Character Recognition.	ICDAR	1997	DBLP DOI BibTeX RDF
16	Zurab Khasidashvili, John R. W. Glauert	Discrete Normalization and Standardization in Deterministic Residual Structures.	ALP	1996	DBLP DOI BibTeX RDF
16	Ralph Schiller	Normalization by Optimization.	ECCV (1)	1996	DBLP DOI BibTeX RDF
16	Byung Suk Lee 0001	Normalization in OODB Design.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
16	Ilya Beylin, Peter Dybjer	Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids.	TYPES	1995	DBLP DOI BibTeX RDF
16	Otto Rauh, Eberhard Stickel	Standard Transformations for the Normalization of ER Schemata	CAiSE	1995	DBLP DOI BibTeX RDF
16	Koji Iwanuma	Conservative Query Normalization on Parallel Circumscription.	CADE	1994	DBLP DOI BibTeX RDF
16	Wei Li 0015, Keshav Pingali	Access Normalization: Loop Restructuring for NUMA Compilers.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	nonsingular loop transformation, nonuniform memory access machines, parallelizing compilers, data locality, loop transformation
16	Eric Andonoff	Normalization of Object-Oriented Conceptual Schemes	CAiSE	1993	DBLP DOI BibTeX RDF
16	Wei Li 0015, Keshav Pingali	Access Normalization: Loop Restructuring for NUMA Compilers. (long version: TOCS 11(4): 353-375)	ASPLOS	1992	DBLP DOI BibTeX RDF
16	Val Tannen, Jean H. Gallier	Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.	ICALP	1989	DBLP DOI BibTeX RDF
16	Leo Bachmair	Proof Normalization for Resolution and Paramodulation.	RTA	1989	DBLP DOI BibTeX RDF
13	Alessio Guglielmi, Tom Gundersen, Lutz Straßburger	Breaking Paths in Atomic Flows for Classical Logic.	LICS	2010	DBLP DOI BibTeX RDF	atomic flows, proof normalization, classical logic
13	Shabana Sheikh	Arabic.	ITNG	2010	DBLP DOI BibTeX RDF	Mouse Gesture Recognition, Feature-Extraction, Artificial Neural Network, Normalization
13	Hong Men, Xiaozhe Zhu, Lei Qin, Jiaxue Yu	Obtaining Method of Standard Human Face Library in Human Face.	MVHI	2010	DBLP DOI BibTeX RDF	eye locatin, face detection, normalization, skin color model, gabor transform
13	Peng Wu, Shenming Qu	Research of Image Detection Based on Improved AdaBoost Algorithm.	MVHI	2010	DBLP DOI BibTeX RDF	weight updating, weight normalization, AdaBoost algorithm
13	Madhavi R. Repe, S. D. Shirbahadurkar, Smita Desai	Natural Prosody Generation in TTS for Marathi Speech Signal.	ICSAP	2010	DBLP DOI BibTeX RDF	consonants& vowels, Normalization, Prosody, Phoneme, Punctuations
13	Takaaki Kozaki, Shigeyoshi Nakajima, Tetsuo Tsujioka, Shinsuke Hara, Tadayuki Inoue, Hajime Nakamura, Kazuhide Takeuchi	Estimation of Human Movements from Body Acceleration Monitoring Using One Nearest Neighbor Method - Ubiquitous Health Care.	IIH-MSP	2010	DBLP DOI BibTeX RDF	Holter's ECG diary, one nearest neighbor, discrete Fourier transform (DFT), normalization, acceleration, electrocardiogram (ECG), frequency analysis
13	Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld	Do not crawl in the DUST: Different URLs with similar text.	ACM Trans. Web	2009	DBLP DOI BibTeX RDF	URL normalization, Search engines, antialiasing, crawling, duplicate detection
13	Pierre-Olivier Ladoux, Christophe Rosenberger, Bernadette Dorizzi	Palm Vein Verification System Based on SIFT Matching.	ICB	2009	DBLP DOI BibTeX RDF	Hand vein modality, IR acquisition, normalization preprocessing, key points matching, SIFT descriptors
13	Vinod P. Nair, Vijay Laxmi, Manoj Singh Gaur, G. V. S. S. Phani Kumar, Yadvendra S. Chundawat	Static CFG analyzer for metamorphic Malware code.	SIN	2009	DBLP DOI BibTeX RDF	metamorphic malware, normalization, obfuscation, control flow graph, longest common subsequence
13	Gunnar Wilken, Andreas Weiermann	Complexity of Gödel's T in lambda-Formulation.	TLCA	2009	DBLP DOI BibTeX RDF	Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
13	Tennyson X. Chen, Martin D. Meyer, Nanthini Ganapathi	Implementation considerations for improving data integrity in normalized relational databases.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	data integrity functional independency, decomposition, normalization, functional dependency
13	Olle Regardt, Lars Rönnbäck, Maria Bergholtz, Paul Johannesson, Petia Wohed	Anchor Modeling.	ER	2009	DBLP DOI BibTeX RDF	anchor modeling, 6NF, table elimination, temporal databases, normalization, data warehousing, agile development
13	Marios Hadjieleftheriou, Nick Koudas, Divesh Srivastava	Incremental maintenance of length normalized indexes for approximate string matching.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	string indexing, updates, inverted index, length normalization, idf
13	Glaucia Braga e Silva, Breno Lisi Romano, Henrique Fernandes de Campos, Ricardo Godoi Vieira, Adilson Marques da Cunha, Luiz Alberto Vieira Dias	Integrating Amazonic Heterogeneous Hydrometeorological Databases.	ITNG	2009	DBLP DOI BibTeX RDF	trigram technique, normalization, database modeling, integration process, data dictionary
13	Ali Pour Yazdanpanah, Karim Faez	Normalizing Human Ear in Proportion to Size and Rotation.	ICIC (1)	2009	DBLP DOI BibTeX RDF	Ear image normalization, Rotation invariance, Scale invariance
13	Pengfei Mao, Jia Liu 0001	A Novel Embedded Speaker Verification on System on Chip.	FSKD (5)	2009	DBLP DOI BibTeX RDF	system on chip, speaker verification, score normalization
13	Jianmin Jiang	Scanning Detections of Multi-scale Significant Change-Points in Subseries Means, Variances, Trends and Correlations.	FSKD (5)	2009	DBLP DOI BibTeX RDF	Scanning statistic test, Significant change, Multi-scale detection, Normalization of probability distribution
13	Xiaohu Song, Damien Muselet, Alain Trémeau	Local Color Descriptor for Object Recognition across Illumination Changes.	ACIVS	2009	DBLP DOI BibTeX RDF	spatial normalization, object recognition, local descriptor, discriminating power
13	Ahmed Fawzi Otoom, Óscar Pérez Concha, Hatice Gunes, Massimo Piccardi	Mixtures of Normalized Linear Projections.	ACIVS	2009	DBLP DOI BibTeX RDF	Dimensionality reduction, Normalization, Object classification, Linear transformation
13	Avi Arampatzis, Jaap Kamps, Stephen Robertson	Where to stop reading a ranked list?: threshold optimization using truncated score distributions.	SIGIR	2009	DBLP DOI BibTeX RDF	effectiveness measure optimization, probability of relevance, threshold optimization, truncated distribution, filtering, fusion, expectation maximization, meta-search, score normalization, distributed retrieval, score distribution
13	Dogan Can, Erica Cooper, Arnab Ghoshal, Martin Jansche, Sanjeev Khudanpur, Bhuvana Ramabhadran, Michael Riley 0001, Murat Saraclar, Abhinav Sethy, Morgan Ulinski, Christopher M. White	Web derived pronunciations for spoken term detection.	SIGIR	2009	DBLP DOI BibTeX RDF	open vocabulary, pronunciation normalization, spoken term detection, web pronunciation extraction
13	Muzaffar Bashir, Jürgen Kempf	Bio-Inspired Reference Level Assigned DTW for Person Identification Using Handwritten Signatures.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF	online signature authentication, biometric person authentication, signature normalization, dynamic time warping
13	Chao-Kuei Hsieh, Shang-Hong Lai, Yung-Chang Chen	Integrated Expression-Invariant Face Recognition with Constrained Optical Flow.	PSIVT	2009	DBLP DOI BibTeX RDF	constrained optical flow, expression normalization, Face recognition, expression recognition
13	Li-Na Song, Guangrong Ji, Jing Chen	Extraction of Shell Texture Feature of Coscinodiscus for Classification Based on Wavelet and PCA.	JCAI	2009	DBLP DOI BibTeX RDF	Principal component analysis (PCA), Wavelet transform, Image classification, Normalization, Shift invariance
13	Biping Meng, Shujian Huang, Xinyu Dai, Jiajun Chen	Segmenting Long Sentence Pairs for Statistical Machine Translation.	IALP	2009	DBLP DOI BibTeX RDF	long sentences, semantics guided, Poisson distributed length ratio, segmentation, length normalization
13	Kaeser Md. Sabrin, Tao Zhang 0006, Song Chen, Md. Nurul Ahad Tawhid, M. Hasanuzzaman, Md. Haider Ali, Haruki Ueno	An Intensity and Size Invariant Real Time Face Recognition Approach.	ICIAR	2009	DBLP DOI BibTeX RDF	Face Recognition, Face Detection, Normalization, Eigenfaces
13	Jeremy Pickens, Gene Golovchinsky	Ranked feature fusion models for ad hoc retrieval.	CIKM	2008	DBLP DOI BibTeX RDF	metasearch, feature ranking, score normalization
13	Anton Karl Ingason, Sigrún Helgadóttir, Hrafn Loftsson, Eiríkur Rögnvaldsson	A Mixed Method Lemmatization Algorithm Using a Hierarchy of Linguistic Identities (HOLI).	GoTAL	2008	DBLP DOI BibTeX RDF	lemma, BLARK, Icelandic, Lemmald, IceTagger, machine learning, normalization, lemmatization
13	Carsten Schürmann 0001, Jeffrey Sarnat	Structural Logical Relations.	LICS	2008	DBLP DOI BibTeX RDF	Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations
13	Marios Vlachos, Evangelos Dermatas	Vein Segmentation in Infrared Images Using Compound Enhancing and Crisp Clustering.	ICVS	2008	DBLP DOI BibTeX RDF	finger vein, 2D DWT, local intensity normalization, compound filter, edge suppression, morphological postprocessing, matched filter, Hessian matrix
13	Anirban Dasgupta 0001, Ravi Kumar 0001, Amit Sasturkar	De-duping URLs via rewrite rules.	KDD	2008	DBLP DOI BibTeX RDF	URL normalization, de-duping, rewrite rules
13	Alexis Saurin	Towards Ludics Programming: Interactive Proof Search.	ICLP	2008	DBLP DOI BibTeX RDF	Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search
13	Jinsik Kim, Young-Moon Yang, Sukji Park, Sungwoo Lee, Byungdeok Chung	Fault Localization for Heterogeneous Networks Using Alarm Correlation on Consolidated Inventory Database.	APNOMS	2008	DBLP DOI BibTeX RDF	Consolidated Inventory Database, Event Normalization, Trouble Ticket, Heterogeneous Networks, Fault Localization, Impact Analysis, Rule Base, Alarm Correlation
13	Yuehong Wang, Rujie Liu, Takayuki Baba, Yusuke Uehara, Daiki Masumoto, Shigemi Nagata	An Images-Based 3D Model Retrieval Approach.	MMM	2008	DBLP DOI BibTeX RDF	3D retrieval, sampling, projection, 2D images, models comparison, pose normalization
13	Alexis Saurin	On the Relations between the Syntactic Theories of lambda-mu-Calculi.	CSL	2008	DBLP DOI BibTeX RDF	Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization
13	Vincent Danos, Elham Kashefi, Prakash Panangaden	The measurement calculus.	J. ACM	2007	DBLP DOI BibTeX RDF	Models for quantum computing, measurement-based quantum computing, quantum programming languages, teleportation-based quantum computing, normalization, term rewriting
13	Pierre Crégut	Strongly reducing variants of the Krivine abstract machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Abstract machines, Strong normalization
13	Carlos Ricolfe-Viala, Antonio-José Sánchez-Salmerón	Improved Camera Calibration Method Based on a Two-Dimensional Template.	IbPRIA (2)	2007	DBLP DOI BibTeX RDF	2D template, distortion rectification, non-linear calibration, Camera calibration, data normalization
13	Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld	Do not crawl in the dust: different urls with similar text.	WWW	2007	DBLP DOI BibTeX RDF	URL normalization, search engines, crawling, duplicate detection, anti-aliasing
13	Masashi Ohata, Kiyotoshi Matsuoka	Frequency-Domain Implementation of a Time-Domain Blind Separation Algorithm for Convolutive Mixtures of Sources.	ICA	2007	DBLP DOI BibTeX RDF	convolutive models, time-frequency representations, normalization, source separation
13	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
13	Chunli Bi, Li Zhao, Jinsong Liu, Huaying Shu	Analysis of Open Source Software in Enterprise Informatization.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	OSS model, Enterprise normalization, Open source software
13	Max I. Kanovich	A Note on Rewriting Proofs and Fibonacci Numbers.	LFCS	2007	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions
13	Simei Gomes Wysoski, Lubica Benuskova, Nikola K. Kasabov	Text-Independent Speaker Authentication with Spiking Neural Networks.	ICANN (2)	2007	DBLP DOI BibTeX RDF	Speaker Authentication, Brain-like Pattern Recognition, Similarity Domain Normalization, Spiking Neural Network
13	Jovisa D. Zunic, Paul L. Rosin	A Definition for Orientation for Multiple Component Shapes.	CAIP	2007	DBLP DOI BibTeX RDF	Shape, orientation, early vision, image normalization
13	Goetz Graefe	Implementing sorting in database systems.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	Key normalization, asynchronous read-ahead, dynamic memory resource allocation, index operations, key conditioning, nested iteration, compression, forecasting, graceful degradation
13	Xia Li, Fei-yue Ye, Hong-juan Yuan, Wen-tao Peng	Functional Dependency Maintenance and Lossless Join Decomposition in XML Model Decomposition.	SKG	2006	DBLP DOI BibTeX RDF	XML FD, DTD Normalization, XML Normal Forms
13	Miriam Fernández, David Vallet, Pablo Castells	Using historical data to enhance rank aggregation.	SIGIR	2006	DBLP DOI BibTeX RDF	rank aggregation, score normalization, score distribution
13	Georgina Ramírez, Thijs Westerveld, Arjen P. de Vries	Using small XML elements to support relevance.	SIGIR	2006	DBLP DOI BibTeX RDF	score propagation, XML retrieval, length normalization
13	Soheila Karbasi, Mohand Boughanem	Effective level of term frequency impact on large-scale retrieval performance: by top-term ranking method.	Infoscale	2006	DBLP DOI BibTeX RDF	document length normalization, effective level of term frequency, large collection, top-term ranking method
13	Tomás Lang, Elisardo Antelo	High-Throughput CORDIC-Based Geometry Operations for 3D Computer Graphics.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	vector normalization, geometry transforms, graphics processor, CORDIC, 3D rotations
13	Millist W. Vincent, Jixue Liu, Chengfei Liu	Strong functional dependencies and their application to normal forms in XML.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	XML, normalization, functional dependency
13	Gang Qian, Shamik Sural, Yuelong Gu, Sakti Pramanik	Similarity between Euclidean and cosine angle distance for nearest neighbor queries.	SAC	2004	DBLP DOI BibTeX RDF	Cosine angle distance, Inter-feature normalization, vector model, Content based image retrieval, Euclidean distance
13	Khalid H. Abed, Raymond E. Siferd	CMOS VLSI Implementation of a Low-Power Logarithmic Converter.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Anti-logarithm, binary logarithms, floating-point normalization, leading-one detector, elementary functions, logarithmic number system, low-power circuits
13	Wojciech Chojnacki, Michael J. Brooks, Anton van den Hengel, Darren Gawley	Revisiting Hartley's Normalized Eight-Point Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	eight-point algorithm, fundamental matrix, Epipolar equation, data normalization
13	Alceu de Souza Britto Jr., Robert Sabourin, Flávio Bortolozzi	The recognition of handwritten numeral strings using a two-stage HMM-based method.	Int. J. Document Anal. Recognit.	2003	DBLP DOI BibTeX RDF	String recognition, Slant normalization, Verification stage, Hidden Markov models, Contextual information
13	Rafael Alonso, Jeffrey A. Bloom, Hua Li 0002	Lessons from the implementation of an adaptive parts acquisition ePortal.	CIKM	2003	DBLP DOI BibTeX RDF	lessons leaned, user profiling, normalization, query by example, adaptive search, k-nearest neighbor classification
13	Ahmet Akkas, Michael J. Schulte	A Quadruple Precision and Dual Double Precision Floating-Point Multiplier.	DSD	2003	DBLP DOI BibTeX RDF	Quadruple precision, computer arithmetic, normalization, floating-point, multiplier, rounding, double precision
13	David Avant, M. Baum, Clemens Bertram, M. Fisher, Amit P. Sheth, Yashodhan S. Warke	Semantic technology applications for homeland security.	CIKM	2002	DBLP DOI BibTeX RDF	anti-terrorism, flight security, homeland security applications, passenger threat assessment, semantic web, information extraction, knowledge discovery, link analysis, normalization, semantic technology, semantic metadata
13	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
13	R. Manmatha, Ao Feng, James Allan	A critical examination of TDT's cost function.	SIGIR	2002	DBLP DOI BibTeX RDF	modeling score distributions, normalization, threshold, topic detection and tracking
13	Robert Benavente, Gemma Sánchez, Ramón Baldrich, María Vanrell 0001, Josep Lladós 0001	Normalized Color Segmentation for Human Appearance Description.	ICPR	2000	DBLP DOI BibTeX RDF	Color naming, color normalization, performance evaluation, surveillance, region growing
13	Guohua Liu, Wenyun Ji, Zijun Chen	A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts.	TOOLS (36)	2000	DBLP DOI BibTeX RDF	user interpretation, object-oriented database, normalization, conflict
13	Arie Harel, Su Namn, Jacob Sturm	Simple bounds for closed queueing networks.	Queueing Syst. Theory Appl.	1999	DBLP DOI BibTeX RDF	balanced job bounds, complete symmetric function, mean performance measures, lower bound, throughput, upper bound, majorization, closed queueing networks, normalization constant
13	Alex Sellink, Chris Verhoef, Harry M. Sneed	Restructuring of COBOL/CICS Legacy Systems.	CSMR	1999	DBLP DOI BibTeX RDF	Teleprocessing system, Control-flow normalization, Repartitioning, Reengineering, COBOL, Transaction processing system, System renovation, Remodularization, CICS
13	Constantine Kotropoulos, Anastasios Tefas, Ioannis Pitas	Morphological Elastic Graph Matching Applied to Frontal Face Authentication under Optimal and Real Conditions.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	face normalization, tele-services, access-control, face verification
13	Jeffrey Huang, Srinivas Gutta, Harry Wechsler	Detection of human faces using decision trees.	FG	1996	DBLP DOI BibTeX RDF	human face detection, FERET database, semi-uniform background, face box, face image normalization, visual observation, nose, mouth, image rejection, algorithm, face recognition, decision trees, location, post-processing, eyes, face images, cropping
13	Soo-Mook Moon, Scott D. Carson	Generalized Multiway Branch Unit for VLIW Microprocessors.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	generalized multiway branching, VLIW microprocessor, condition tree, mirror normalization, VLIW compiler, Instruction-level parallelism, superscalar microprocessor
13	Jean Duprat, Jean-Michel Muller	The CORDIC Algorithm: New Results for Fast VLSI Implementation.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	sign functions, fast VLSI implementation, signed-digit implementation, carry-save representation, branching CORDIC method, constant normalization factor, online delay, cosine functions, VLSI, signal processing, digital arithmetic, CORDIC algorithm
13	R. Ramesh 0001, I. V. Ramakrishnan	Nonlinear Pattern Matching in Trees.	J. ACM	1992	DBLP DOI BibTeX RDF	nonlinear pattern matching, theorem proving, normalization, rewriting
13	C. J. Date 0001, Ronald Fagin	Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	5NF, BCNF, Boyce-Codd normal form, PJ/NF, fifth normal form, fourth normal form 4NF, projection-join normal form, simple key, relational database, normalization, database design, functional dependency, multivalued dependency, join dependency
13	Tony M. Carter, James E. Robertson	Radix-16 Signed-Digit Division.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	radix-16 signed-digit division, digital arithmetic, normalization, design tradeoff, two-stage algorithm
13	Y. Edmund Lien	Hierarchical Schemata for Relational Databases.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	relation normalization, database design, multivalued dependency, lossless join
13	Ronald Fagin	A Normal Form for Relational Databases That Is Based on Domians and Keys.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	DK/NF, domain-key normal form, complexity, relational database, normalization, database design, functional dependency, anomaly, multivalued dependency, join dependency