|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 483 occurrences of 385 keywords
|
|
|
Results
Found 1202 publication records. Showing 1202 according to the selection in the facets
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 |
Displaying result #1 - #100 of 1202 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|