Search results for "Quotient"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
169	Tzu-Hsi Pan, Hyon-Sok Kay, Youngsun Chun, Chin-Long Wey	High-radix SRT division with speculation of quotient digits .	ICCD	1995	DBLP DOI BibTeX RDF	high-radix SRT division, quotient digits, quotient-digit selection table, speculated quotient digit, quotient-digit correction, digital arithmetic, table lookup, look-up table
146	Jianqing Xi, Fuqiang Chen, Pingjian Zhang	A New Bitmap Index and a New Data Cube Compression Technology.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	qcbit index, seqkey cover quotient cube, quotient cube, cover quotient cube, data cube, bitmap index
110	Ling Zhang 0001, Bo Zhang 0010	Quotient Space Based Multi-granular Analysis.	KSEM	2007	DBLP DOI BibTeX RDF
105	Hong-bin Fang	Integrating Probability and Quotient Space Theory: Quotient Probability.	ICFIE	2007	DBLP DOI BibTeX RDF	Quotient Space Theory, Granular Computing, Probability Theory
91	Nishant R. Srivastava	Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling.	DATE	2007	DBLP DOI BibTeX RDF
89	Li-Quan Zhao, Ling Zhang	Advances in the Quotient Space Theory and Its Applications.	RSKT	2006	DBLP DOI BibTeX RDF	quotient space, data mining, machine learning, pattern recognition, rough set, fuzzy set, fuzzy control, granular computing
84	Boris Mitavskiy, Jonathan E. Rowe, Alden H. Wright, Lothar M. Schmitt	Quotients of Markov chains and asymptotic properties of the stationary distribution of the Markov chain associated to an evolutionary algorithm.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Uniform population, Evolutionary algorithm, Markov chain, Stationary distribution, Selection pressure, Asymptotics, Coarse graining, Quotient, Mutation rate
82	Shuicheng Yan, Xiaoou Tang	Trace Quotient Problems Revisited.	ECCV (2)	2006	DBLP DOI BibTeX RDF
74	Liao Zekai, Shu Lan	Minimization of Lattice Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization
74	Cuiping Li 0001, Shan Wang 0001	Efficient Incremental Maintenance for Distributive and Non-Distributive Aggregate Functions.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	quotient cube, OLAP, incremental maintenance
74	Behrooz Parhami	Tight Upper Bounds on the Minimum Precision Required of the Divisor and the Partial Remainder in High-Radix Division.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	digit-selector PLA, high-radix division, p-d plot, quotient digit selection, SRT division, Digit-recurrence division
72	Ling Zhang 0001, Bo Zhang 0010	Quotient space based multi-granular computing.	GrC	2005	DBLP DOI BibTeX RDF
70	Dominic Wilson, Devinder Kaur 0001	Using quotient graphs to model neutrality in evolutionary search.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	degenerate code, fitness distance correlation, neutral evolution, quotient sets
70	Ling Zhang 0001, Bo Zhang 0010	A Quotient Space Approximation Model of Multiresolution Signal Analysis.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	quotient space, the second-generation wavelets, wavelet transform, multi-resolution, signal analysis
70	Maria Manuel Clementino, Eraldo Giuli, Walter Tholen	What is a Quotient Map with Respect to a Closure Operator?	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator
69	Belmesnaoui Aqzzouz	The epsilonc-Product of a Schwartz b-Space by a Quotient Banach Space and Applications.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	quotient Banach space, quotient bornological space, b-space, exact functor, Abelian category, left exact complex, product, space
69	Till Plewe	Quotient Maps of Locales.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed surjections, simple coverings, singly generated frame extensions, extremal epimorphisms, regular epimorphisms, quotient maps, weak quotient maps, equationally closed subframes, locales
63	J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce	Quotient lenses.	ICFP	2008	DBLP DOI BibTeX RDF	bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
63	Chengyi Zhang	Fuzzy sets and quotient spaces.	GrC	2005	DBLP DOI BibTeX RDF
61	Lars Eirik Danielsen, Matthew Geoffrey Parker, Patrick Solé	The Rayleigh Quotient of Bent Functions.	IMACC	2009	DBLP DOI BibTeX RDF	Rayleigh quotient, plateaued functions, Boolean functions, bent functions, Walsh Hadamard transform
59	Sanun Srisuk, Amnart Petpon	A Gabor Quotient Image for Face Recognition under Varying Illumination.	ISVC (2)	2008	DBLP DOI BibTeX RDF	Illumination Normalization, Self Quotient Image, Gabor Quotient Image
57	Boris Mitavskiy, Jonathan E. Rowe, Alden H. Wright, Lothar M. Schmitt	Exploiting Quotients of Markov Chains to Derive Properties of the Stationary Distribution of the Markov Chain Associated to an Evolutionary Algorithm.	SEAL	2006	DBLP DOI BibTeX RDF
57	Tom Bäckström, Paavo Alku, Erkki Vilkman	Time-domain parameterization of the closing phase of glottal airflow waveform from voices over a large intensity range.	IEEE Trans. Speech Audio Process.	2002	DBLP DOI BibTeX RDF
55	Eyal Amir, Robert Krauthgamer, Satish Rao	Constant factor approximation of vertex-cuts in planar graphs.	STOC	2003	DBLP DOI BibTeX RDF	balanced cut, planar separator, quotient cut, vertex separator, approximation algorithms, planar graph
53	Yan Xin 0002, Ivan J. Fair	Guided Scrambling Polynomials for Periodic Quotient Relationship Patterns.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
53	Xiuquan Du, Jiaxing Cheng	Prediction of Protein-Protein Interaction Sites Using Granularity Computing of Quotient Space Theory.	CSSE (1)	2008	DBLP DOI BibTeX RDF
53	Chunhua Shen, Hongdong Li, Michael J. Brooks	A Convex Programming Approach to the Trace Quotient Problem.	ACCV (2)	2007	DBLP DOI BibTeX RDF
53	Li-Quan Zhao, Ling Zhang	Research in Quotient Space Theory Based on Structure.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
53	Xiuzhen Zhang 0001, Pauline Lienhua Chou, Kotagiri Ramamohanarao	Computing Iceberg Quotient Cubes with Bounding.	DaWaK	2006	DBLP DOI BibTeX RDF
53	Jinwuk Seok, Seongwon Cho, Jaemin Kim	Hyperbolic Quotient Feature Map for Competitive Learning Neural Networks.	ISNN (1)	2006	DBLP DOI BibTeX RDF
53	Shu Zhao, Yanping Zhang, Ling Zhang, Jie Chen 0025, Zhong Wan, Ying-chun Zhang, Chen-xi Zhang	The quotient structure in granule computing.	GrC	2005	DBLP DOI BibTeX RDF
53	Woo-Chan Park, Tack-Don Han, Sung-Bong Yang	A Floating Point Divider Performing IEEE Rounding and Quotient Conversion in Parallel.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
53	Haitao Wang 0007, Stan Z. Li, Yangsheng Wang	Face Recognition under Varying Lighting Conditions Using Self Quotient Image.	FGR	2004	DBLP DOI BibTeX RDF
53	Peter Kornerup	Revisiting SRT Quotient Digit Selection.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
53	Jordi Cortadella, Tomás Lang	Division with speculation of quotient digits.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
51	Jianfu Chen, Xingming Zhang 0001, Jinsheng Li	Face Verification Based on AdaBoost Learning for Histogram of Gabor Phase Patterns (HGPP) Selection and Samples Synthesis with Quotient Image Method.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Gabor Phase, HGPP, Quotient Image, Synthesize Samples, AdaBoost, Illumination invariance, Face Verification
51	Li-Quan Zhao, Ling Zhang 0001, Bo Zhang 0010	Granular Analysis of Time Sequence Based on Quotient Space.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	Quotient Space, HMM, Markov Chain, Granular Computing
51	Carlo Bellettini, Lorenzo Capra	A Quotient Graph for Asymmetric Distributed Systems.	MASCOTS	2004	DBLP DOI BibTeX RDF	quotient state-spaces, asymmetric systems, Colored Petri Nets
51	Takafumi Aoki, Kimihiko Nakazawa, Tatsuo Higuchi 0001	High-Radix Parallel VLSI Dividers without Using Quotient Digit Selection Tables.	ISMVL	2000	DBLP DOI BibTeX RDF	Quotient digit selection tables, High-radix division, VLSI, Computer arithmetic, Signed-digit number systems, SRT division
50	António L. Furtado 0001, Larry Kerschberg	An Algebra of Quotient Relations.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF	high level query language, intermediate level language, quotient algebra, quotient relations, query language, relational algebra, relational model
47	Xiangli Xu, Libiao Zhang, Xiangdong Liu, Zhezhou Yu, Chunguang Zhou	Image Retrieval Using Multi-granularity Features of Color and Texture.	FSKD (4)	2008	DBLP DOI BibTeX RDF
47	Alain Casali, Rosine Cicchetti, Lotfi Lakhal	Extracting semantics from data cubes using cube transversals and closures.	KDD	2003	DBLP DOI BibTeX RDF	algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals
47	David W. Matula, Alex Fit-Florea	Prescaled Integer Division.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
47	A. Prasad Sistla	Symmetry Reductions in Model-Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
47	Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers	Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.	CAV	1999	DBLP DOI BibTeX RDF
47	Eric M. Schwarz, Michael J. Flynn	Cost-efficient high-radix division.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
46	Weikun Sun, Hongbo Li 0012	On the Mixed Cayley-Sylvester Resultant Matrix.	AISC	2006	DBLP DOI BibTeX RDF	Mixed Cayley-Sylvester resultant matrix, Cayley quotient, Sylvester dialytic, block structure
44	Tso-Bing Juang, Sheng-Hung Chen, Shin-Mao Li	A novel VLSI iterative divider architecture for fast quotient generation.	ISCAS	2008	DBLP DOI BibTeX RDF
44	Junjie Chen 0001, Kai Yang	Fuzzy And/Or Graphic Reasoning Model Under Quotient Space Theory.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
44	Zhi Wang, Bo Zhang	Quotient space model of hierarchical query-by-humming system.	GrC	2005	DBLP DOI BibTeX RDF
44	Cuiping Li 0001, Gao Cong, Anthony K. H. Tung, Shan Wang 0001	Incremental maintenance of quotient cube for median.	KDD	2004	DBLP DOI BibTeX RDF	holistic aggregation, data cube
44	Haitao Wang 0007, Stan Z. Li, Yangsheng Wang	Generalized Quotient Image.	CVPR (2)	2004	DBLP DOI BibTeX RDF
44	Aleksey Nogin	Quotient Types: A Modular Approach.	TPHOLs	2002	DBLP DOI BibTeX RDF
44	Laurent Chicli, Loic Pottier, Carlos Simpson	Mathematical Quotients and Quotient Types in Coq.	TYPES	2002	DBLP DOI BibTeX RDF
44	Gianluca Cornetta, Jordi Cortadella	A Radix-16 SRT Division Unit with Speculation of the Quotient Digits.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
42	Amirhossein Amiraslani, Peter Lancaster	Rayleigh quotient algorithms for nonsymmetric matrix pencils.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Rayleigh quotient algorithm, Matrix pencils
42	Ryszard Janicki, Dai Tri Man Le	Modelling Concurrency with Quotient Monoids.	Petri Nets	2008	DBLP DOI BibTeX RDF	quotient monoids, comtraces, stratified partial orders, stratified order structures, traces, canonical representations, step sequences
42	A. Prasad Sistla, Xiaodong Wang, Min Zhou	Checking extended CTL properties using guarded quotient structures.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Symmetric systems, Guarded quotient structures, Model checking, Temporal logic, Program verification, State space reduction
42	Rongfang Bie, Guohua Wu	A Minimal Pair in the Quotient Structure M / NCup.	CiE	2007	DBLP DOI BibTeX RDF	Computably enumerable degrees, quotient structure, minimal pairs
42	H. Michael Möller, Tomas Sauer	Multivariate Refinable Functions of High Approximation Order Via Quotient Ideals of Laurent Polynomials.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	quotient ideals, Laurent polynomials, Gröbner bases, subdivision
42	Eva Lowen-Colebunders, C. Verbeeck	Exponential Objects in Coreflective or Quotient Reflective Subconstructs: A Comparison.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	exponential object, pre-approach space, pretopological space, coreflective subconstruct, quotient reflective subconstruct
38	Masayuki Yoshino, Katsuyuki Okeya, Camille Vuillaume	Recursive Double-Size Modular Multiplications without Extra Cost for Their Quotients.	CT-RSA	2009	DBLP DOI BibTeX RDF	low-end device, double-size technique, RSA, modular multiplication, efficient implementation, crypto-coprocessors, arithmetic unit
38	Richard J. Trefler, Thomas Wahl	Extending Symmetry Reduction by Exploiting System Architecture.	VMCAI	2009	DBLP DOI BibTeX RDF
38	Reid Andersen, Kevin J. Lang	An algorithm for improving graph partitions.	SODA	2008	DBLP BibTeX RDF
38	Chunhua Shen, Hongdong Li, Michael J. Brooks	Feature Extraction Using Sequential Semidefinite Programming.	DICTA	2007	DBLP DOI BibTeX RDF
38	Ling Zhang 0001, Bo Zhang 0010	Hierarchical Machine Learning - A Learning Methodology Inspired by Human Intelligence.	RSKT	2006	DBLP DOI BibTeX RDF
38	Sheng-En Li, Shan Wang 0001	Semi-Closed Cube: An Effective Approach to Trading Off Data Cube Size and Query Response Time.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	OLAP (on-line analytical processing), data cube, warehousing
38	Peter V. Homeier	A Design Structure for Higher Order Quotients.	TPHOLs	2005	DBLP DOI BibTeX RDF
38	Laks V. S. Lakshmanan, Jian Pei, Yan Zhao	QC-Trees: An Efficient Summary Structure for Semantic OLAP.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
38	Evelyne Contejean, Antoine Coste, Benjamin Monate	Rewriting Techniques in Theoretical Physics.	RTA	2000	DBLP DOI BibTeX RDF
38	Hosahalli R. Srinivas, Keshab K. Parhi	A Radix 2 Shared Division/Square Root Algorithm and its VLSI Architecture.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
38	J. Arjun Prabhu, Gregory B. Zyner	167 MHz Radix-8 Divide and Square Root Using Overlapped Radix-2 Stages.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
36	Weiji Xiao, Jianqing Xi	CCBitmaps: A Space-Time Efficient Index Structure for OLAP.	ADMA	2009	DBLP DOI BibTeX RDF	Quotient Cube, Closed Cube, QC-Trees, CC-Bitmaps, CCListsIntersection
36	Yaoyao Zhang, Jie Tian 0001, Xiaoguang He, Xin Yang 0001	MQI Based Face Recognition Under Uneven Illumination.	ICB	2007	DBLP DOI BibTeX RDF	illumination normalization, quotient image, face recognition, morphological operation
36	Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi	Factor Oracles.	CIAA	2006	DBLP DOI BibTeX RDF	factor oracle, suffix trie, graph quotient, string matching, suffix tree
36	Lorenzo Capra	Colored Petri Nets State-Space Reduction via Symbolic Execution.	SYNASC	2005	DBLP DOI BibTeX RDF	quotient graphs, symmetries, High-Level Petri Nets, linear constraints
36	Wenwu Zhu 0001, Yao Wang 0001, Nikolas P. Galatsanos, Jun Zhang 0006	Regularized Total Least Squares Reconstruction for Optical Tomographic Imaging Using Conjugate Gradient Method.	ICIP (1)	1997	DBLP DOI BibTeX RDF	optical tomography, regularized total least squares reconstruction, optical tomographic imaging, linear perturbation equation, optical tomography, Rayleigh quotient formulation, RTLS filter, RQF-RTLS, RQF-RTLS method, stable solution, accurate solution, regularized least squares, operator errors, medical optical imaging, simulation results, conjugate gradient method, conjugate gradient algorithm
34	Peter Kornerup, David W. Matula	An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	tree pipeline, Gosper, redundant binary bit-pipelined rational arithmetic, redundant binary representation, rational operands, partial quotient arithmetic algorithm, online arithmetic unit, signed bit level, binary radix, binary rational representation, online delays, simulation, parallel computation, redundancy, interconnection, product, digital arithmetic, number theory, difference, quotient, sum
34	Patrick Bosc, Olivier Pivert, Daniel Rocacher	About quotient and division of crisp and fuzzy relations.	J. Intell. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Division of relations, Fuzzy quantifier, Relational databases, Fuzzy sets, Preferences, Flexible queries
34	Boris Mitavskiy, Chris Cannings	An improvement of the "quotient construction" method and further asymptotic results on the stationary distributions of the Markov chains modeling evolutionary algorithms.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
34	Ling Zhang 0001, Bo Zhang 0010	Quotient Space Based Cluster Analysis.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
34	Peeranat Thoonsaengngam, Kittipol Horapong, Somying Thainimit, Vutipong Areekul	Efficient Iris Recognition Using Adaptive Quotient Thresholding.	ICB	2006	DBLP DOI BibTeX RDF
34	Wan L. Chen, Jia X. Cheng	Generalizing quotient space theory from structural viewpoint.	GrC	2005	DBLP DOI BibTeX RDF
34	Haitao Wang 0007, Stan Z. Li, Yangsheng Wang, Jian-Jun Zhang 0001	Self quotient image for face recognition.	ICIP	2004	DBLP DOI BibTeX RDF
34	Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride	Constructing Polymorphic Programs with Quotient Types.	MPC	2004	DBLP DOI BibTeX RDF
34	Ling Zhang 0001, Bo Zhang 0010	The Quotient Space Theory of Problem Solving.	RSFDGrC	2003	DBLP DOI BibTeX RDF
32	Ching-Yu Yang, Chen-Yuan Lai	Use of Quotient-Embedding Scheme with Smart Arrangement Technique to Hide Gray-Scale Data.	IIH-MSP	2008	DBLP DOI BibTeX RDF	DCT-based digital watermarking, quotient-embedding scheme
31	Brandon Hewer, Graham Hutton	Quotient Haskell: Lightweight Quotient Types for All.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
31	Van-Bong Nguyen, Ruey-Lin Sheu, Yong Xia 0002	Maximizing the sum of a generalized Rayleigh quotient and another Rayleigh quotient on the unit sphere via semidefinite programming.	J. Glob. Optim.	2016	DBLP DOI BibTeX RDF
31	Lei-Hong Zhang	On optimizing the sum of the Rayleigh quotient and the generalized Rayleigh quotient on the unit sphere.	Comput. Optim. Appl.	2013	DBLP DOI BibTeX RDF
28	M. E. Fels	Integrating Scalar Ordinary Differential Equations with Symmetry Revisited.	Found. Comput. Math.	2007	DBLP DOI BibTeX RDF
28	Zhiyan Chang, Yang Xu 0001	Congruence Relations Induced by Filters and LI-Ideals.	IFSA (2)	2007	DBLP DOI BibTeX RDF
28	Salem Derisavi	A Symbolic Algorithm for Optimal Markov Chain Lumping.	TACAS	2007	DBLP DOI BibTeX RDF
28	Lawrence C. Paulson	Defining functions on equivalence classes.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	theorem proving, Equivalence classes, quotients
28	Tung N. Pham, Earl E. Swartzlander Jr.	Design of Radix-4 SRT Dividers in 65 Nanometer CMOS Technology.	ASAP	2006	DBLP DOI BibTeX RDF
28	Peter Kornerup	Digit Selection for SRT Division and Square Root.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Digit selection, division, square root
28	Terrence Chen, Wotao Yin, Xiang Sean Zhou, Dorin Comaniciu, Thomas S. Huang	Illumination Normalization for Face Recognition and Uneven Background Correction Using Total Variation Based Image Models.	CVPR (2)	2005	DBLP DOI BibTeX RDF
28	Pavel A. Pevzner, Haixu Tang, Glenn Tesler	De novo repeat classification and fragment assembly.	RECOMB	2004	DBLP DOI BibTeX RDF	repeat analysis, sequence assembly, multiple alignment
28	Yinhe Han 0001, Yongjun Xu, Huawei Li 0001, Xiaowei Li 0001, Anshuman Chandra	Test Resource Partitioning Based on Efficient Response Compaction for Test Time and Teste.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
28	Murali Mohan, Rohini Krishnan, Anshul Kumar, M. Balakrishnan	A New Divide and Conquer Method for Achieving High Speed Division in Hardware.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Carry Propagate Adders, Pipelineability, Throughput, Latency, Rounding, Carry Save Adders, Radix, SRT