Search results for "quotient"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Miroslav Kolár, Tateaki Sasaki	Multivariate quotient by power-series division.	SIGSAM Bull.	1992	DBLP DOI BibTeX RDF
15	Clifford A. Reiter	Visualizing the dynamics of the Rayleigh quotient iteration.	Comput. Graph.	1992	DBLP DOI BibTeX RDF
15	Derek C. Wong, Michael J. Flynn	Fast Division Using Accurate Quotient Approximations to Reduce the Number of Iterations.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF
15	Andrea Sorbi	Some Quotient Lattices of the Medvedev Lattice.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
15	Vassilis L. Syrmos, Frank L. Lewis	A geometric approach to proportional-plus-derivative feedback using quotient and partitioned subspaces.	Autom.	1991	DBLP DOI BibTeX RDF
15	Hubert Comon	Complete Axiomatizations of Some Quotient Term Algebras.	ICALP	1991	DBLP DOI BibTeX RDF
15	Jyh-Chern Ho, Jar-Ferr Yang	Parallel Rayleigh quotient iterative algorithm for rooting nonstationary spectral polynomials.	ICASSP	1991	DBLP DOI BibTeX RDF
15	Derek C. Wong, Michael J. Flynn	Fast division using accurate quotient approximations to reduce the number of iterations.	IEEE Symposium on Computer Arithmetic	1991	DBLP DOI BibTeX RDF
15	G. Pini	Computation of minimum eigenvalue through minimization of rayleigh's quotient for large sparse matrices using vector computer.	Int. J. Comput. Math.	1990	DBLP DOI BibTeX RDF
15	George Havas, Mike F. Newman, Michael R. Vaughan-Lee	A Nilpotent Quotient Algorithm for Graded Lie Rings.	J. Symb. Comput.	1990	DBLP DOI BibTeX RDF
15	Charles C. Sims	Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm.	J. Symb. Comput.	1990	DBLP DOI BibTeX RDF
15	Ira S. Moskowitz	Quotient States and Probabilistic Channels.	CSFW	1990	DBLP DOI BibTeX RDF
15	William M. Kantor, Eugene M. Luks	Computing in Quotient Groups	STOC	1990	DBLP DOI BibTeX RDF
15	Brian Alspach	Lifting Hamilton cycles of quotient graphs.	Discret. Math.	1989	DBLP DOI BibTeX RDF
15	Viliam Geffert	A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
15	Wilhelm Plesken	Towards a Soluble Quotient Algorithm.	J. Symb. Comput.	1987	DBLP DOI BibTeX RDF
15	Anders Edenbrandt	Quotient Tree Partitioning of Undirected Graphs.	BIT	1986	DBLP DOI BibTeX RDF
15	Andres Buzo, Federico Kuhlmann, Carlos Rivera	Rate-distortion bounds for quotient-based distortions with application to Itakura-Saito distortion measures.	IEEE Trans. Inf. Theory	1986	DBLP DOI BibTeX RDF
15	Michel Latteux, B. Leguy, B. Ratoandromanana	The Family of One-Counter Languages is Closed Under Quotient.	Acta Informatica	1985	DBLP DOI BibTeX RDF
15	Milos D. Ercegovac, Tomás Lang	A division algorithm with prediction of quotient digits.	IEEE Symposium on Computer Arithmetic	1985	DBLP DOI BibTeX RDF
15	George S. Taylor	Radix 16 SRT dividers with overlapped quotient selection stages: A 225 nanosecond double precision divider for the S-1 Mark IIB.	IEEE Symposium on Computer Arithmetic	1985	DBLP DOI BibTeX RDF
15	James R. Bell 0001	The Quadratic Quotient Method: a Hash Code Eliminating Secondary Clustering (Reprint).	Commun. ACM	1983	DBLP DOI BibTeX RDF
15	Milos D. Ercegovac	A higher-radix division with simple selection of quotient digits.	IEEE Symposium on Computer Arithmetic	1983	DBLP DOI BibTeX RDF
15	John P. Fishburn, Raphael A. Finkel	Quotient Networks.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF
15	George L. O'Brien	A generalized notion of quotient for finite Abelian groups.	Discret. Math.	1981	DBLP DOI BibTeX RDF
15	Alan George, Joseph W. H. Liu	A Fast Implementation of the Minimum Degree Algorithm Using Quotient Graphs.	ACM Trans. Math. Softw.	1980	DBLP DOI BibTeX RDF
15	Chris Mortensen	Every quotient algebra for C1 is trivial.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
15	M. W. Warner	Semi-Group, Group Quotient and Homogeneous Automata	Inf. Control.	1980	DBLP DOI BibTeX RDF
15	Carlo Maria Gramaccioll, Giuseppe Fillipini	A computer routine for-deriving a quotient group with any symmetry.	Comput. Chem.	1979	DBLP DOI BibTeX RDF
15	Alan L. Tharp	Further refinement of the linear quotient hashing method.	Inf. Syst.	1979	DBLP DOI BibTeX RDF
15	Touria Ghemires	Application du quotient de Rayleigh au calcul des valeurs propres d'opérateurs différentiels par la méthode des différences finies.		1979	RDF
15	Giuseppe Filippini, Carlo Y. Gramaccioll, Massimo Simonetta, Giuseppe B. Suffritti	Derivation of a quotient group in symmetry operations.	Comput. Chem.	1977	DBLP DOI BibTeX RDF
15	H. T. Dorrah, S. T. Nichols	Advances on the Extended Stochastic Rayleigh Quotient Estimation Theory	Inf. Control.	1977	DBLP DOI BibTeX RDF
15	Mike F. Newman	Calculating presentations for certain kinds of quotient groups.	SYMSACC	1976	DBLP DOI BibTeX RDF
15	Walter A. Burkhard	Full Table Quadratic Quotient Searching.	Comput. J.	1975	DBLP DOI BibTeX RDF
15	Daniel E. Atkins	The analysis and design of a class of quotient digit selectors.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
15	James R. Bell 0001	The Quadratic Quotient Method: a Hash Code Eliminating Secondary Clustering.	Commun. ACM	1970	DBLP DOI BibTeX RDF
15	James R. Bell 0001, Charles H. Kaman	The linear quotient hash code.	Commun. ACM	1970	DBLP DOI BibTeX RDF	calculated address, search, hashing, table, keys, hash code, lookup, scatter storage, symbol table
15	Leslie Lamport	Comment on Bell's quadratic quotient method for hash coded searching.	Commun. ACM	1970	DBLP DOI BibTeX RDF
15	Daniel E. Atkins	A Study of Methods for Selection of Quotient Digits During Digital Division		1970	RDF
15	John E. Hopcroft, Jeffrey D. Ullman	Deterministic Stack Automata and the Quotient Operator.	J. Comput. Syst. Sci.	1968	DBLP DOI BibTeX RDF
9	Yongjian Xie, Yongming Li 0001	Riesz ideals in generalized pseudo effect algebras and in their unitizations.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Generalized pseudoeffect algebra, Normal Riesz ideal, Congruence
9	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
9	Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink	In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
9	Václav Koubek, Jirí Sichler	Almost ff-universality Implies Q-universality.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 08C15, 18B15
9	Sylvia Pulmannová	MV-pairs and states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra
9	Marc Oudin, Jean Pierre Delmas	Asymptotic Generalized Eigenvalue Distribution of Block Multilevel Toeplitz Matrices.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
9	Shantanu H. Joshi, Anuj Srivastava	Intrinsic Bayesian Active Contours for Extraction of Object Boundaries in Images.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Shape extraction, Bayesian shape extraction, Tangent PCA, Intrinsic shape analysis, Elastic shapes, Segmentation, Riemannian metric
9	Gokhan Gulgezen, Zehra Cataltepe, Lei Yu 0001	Stable and Accurate Feature Selection.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF	Stable Feature Selection, MRMR (Minimum Redundancy Maximum Relevance), Feature Selection, Stability
9	Jian Weng 0001, Robert H. Deng, Xuhua Ding, Cheng-Kang Chu, Junzuo Lai	Conditional proxy re-encryption secure against chosen-ciphertext attack.	AsiaCCS	2009	DBLP DOI BibTeX RDF	conditional proxy re-encryption, bilinear pairing, chosen-ciphertext security
9	Nathalie Bertrand 0001, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet	A Compositional Approach on Modal Specifications for Timed Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
9	Patrick Bosc, Olivier Pivert, Olivier Soufflet	On Three Classes of Division Queries Involving Ordinal Preferences.	ISMIS	2009	DBLP DOI BibTeX RDF
9	Robert Elsässer, Thomas Sauerwald	Tight Bounds for the Cover Time of Multiple Random Walks.	ICALP (1)	2009	DBLP DOI BibTeX RDF
9	Serge Burckel, Emeric Gioan, Emmanuel Thomé	Mapping Computation with No Memory.	UC	2009	DBLP DOI BibTeX RDF	mapping computation, boolean mapping, linear mapping, processor optimization, multistage interconnection network, circuit design, memory optimization, butterfly, program design, rearrangeability
9	Michele Boreale	Weighted Bisimulation in Linear Algebraic Form.	CONCUR	2009	DBLP DOI BibTeX RDF
9	Marc de Falco	An Explicit Framework for Interaction Nets.	RTA	2009	DBLP DOI BibTeX RDF
9	Oleg V. Kudinov, Victor L. Selivanov	A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.	CiE	2009	DBLP DOI BibTeX RDF	Gandy theorem, least fixed point, biinterpretability, labeled forest, h-quasiorder, definability
9	Okyay Kaynak	Intelligent Systems and Its Applications in Robotics.	FIRA	2009	DBLP DOI BibTeX RDF
9	Saigopal Nelaturi, Vadim Shapiro	Configuration products in geometric modeling.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
9	Kourosh Neshatian, Mengjie Zhang 0001	Unsupervised Elimination of Redundant Features Using Genetic Programming.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
9	Szilvia Szilágyi	A Characterization and the Intersection of the Maximal Compatible Extensions of a Partial Order.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A06, 06F99
9	Hans Z. Munthe-Kaas, Will M. Wright	On the Hopf Algebraic Structure of Lie Group Integrators.	Found. Comput. Math.	2008	DBLP DOI BibTeX RDF
9	Ming-Der Shieh, Jun-Hong Chen, Hao-Hsuan Wu, Wen-Ching Lin	A New Modular Exponentiation Architecture for Efficient Design of RSA Cryptosystem.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
9	A. S. Hegazi, F. Ismail, M. M. Elsofy	Induced and Coinduced Representations of Hopf Group Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
9	Lars Kadison	Anchor Maps and Stable Modules in Depth Two.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30
9	Carmen Martínez, Ramón Beivide, Esteban Stafford, Miquel Moretó, Ernst M. Gabidulin	Modeling Toroidal Networks with the Gaussian Integers.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
9	Thomas Vetterlein	A Way to Interpret Lukasiewicz Logic and Basic Logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic
9	Shujun Tan, Zhi-Gang Wu, Wanxie Zhong	Optimal induced norm computation of discrete H∞ control systems with time-delays.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Discrete systems with time-delays, Optimal H ? induced norm, Extended W-W algorithm
9	Sylvia Pulmannová, Elena Vinceková	Ideals in MV-pairs.	Soft Comput.	2008	DBLP DOI BibTeX RDF
9	Changjian Liang, Yongming Li 0001	Algebraic properties on the cuts of lattice-valued regular languages.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fuzzy languages, Lattice-valued regular languages, Level structure, Closure properties
9	Joaquim Júdice, Marcos Raydan, Silvério S. Rosa, Sandra Augusta Santos	On the solution of the symmetric eigenvalue complementarity problem by the spectral projected gradient algorithm.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Projected gradient algorithms, Eigenvalue problems, Complementarity
9	Lu Yang, Samir Attallah, George Mathew, Karim Abed-Meraim	Analysis of Orthogonality Error Propagation for FRANS and HFRANS Algorithms.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
9	Xavier Mestre	On the Asymptotic Behavior of the Sample Estimates of Eigenvalues and Eigenvectors of Covariance Matrices.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
9	David Duris	Hypergraph Acyclicity and Extension Preservation Theorems.	LICS	2008	DBLP DOI BibTeX RDF	hypergraph acyclicity, preservation theorems, logic, finite model theory
9	Noam D. Elkies	Shimura Curve Computations Via K3 Surfaces of Néron-Severi Rank at Least 19.	ANTS	2008	DBLP DOI BibTeX RDF
9	Chien-Wei Hsin, Tsung-Hui Chang, Wing-Kin Ma, Chong-Yung Chi	A Linear Fractional Semidefinite Relaxed ML Approach to Blind Detection of 16-QAM Orthogonal Space-Time Block Codes.	ICC	2008	DBLP DOI BibTeX RDF
9	Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre	Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.	HSCC	2008	DBLP DOI BibTeX RDF
9	Marc Oudin, Jean Pierre Delmas	Asymptotic generalized eigenvalue distribution of Toeplitz block Toeplitz matrices.	ICASSP	2008	DBLP DOI BibTeX RDF
9	Jianyi Liu, Nanning Zheng 0001, Lei Xiong, Gaofeng Meng, Shaoyi Du	Illumination transition image: Parameter-based illumination estimation and re-rendering.	ICPR	2008	DBLP DOI BibTeX RDF
9	Suke Li, Zhong Chen 0001, Liyong Tang, Zhao Wang	TSearch: A Self-learning Vertical Search Spider for Travel.	ICYCS	2008	DBLP DOI BibTeX RDF
9	Wei Li, Zhu-Hua Han	Short-Term Power Load Forecasting Using Improved Ant Colony Clustering.	WKDD	2008	DBLP DOI BibTeX RDF	Power Load Forecasting, IACC, Colony Clustering, Load Curves
9	Chuanyu Xu	New Structures of Intuitionistic Fuzzy Groups.	ICIC (3)	2008	DBLP DOI BibTeX RDF
9	Jun-Hong Chen, Wen-Ching Lin, Hao-Hsuan Wu, Ming-Der Shieh	High-speed modular multiplication design for public-key cryptosystems.	ISCAS	2008	DBLP DOI BibTeX RDF
9	Jean-Yves Marion, Romain Péchoux	Characterizations of polynomial complexity classes with a better intensionality.	PPDP	2008	DBLP DOI BibTeX RDF	quasi-interpretation, resource upper bounds, sup-interpretation, static analysis
9	Shen Weizheng, Wu Yachun, Chen Zhanliang, Wei Hongda	Grading Method of Leaf Spot Disease Based on Image Processing.	CSSE (6)	2008	DBLP DOI BibTeX RDF
9	Ming-Chang Chiang, Marina Barysheva, Agatha D. Lee, Sarah K. Madsen, Andrea D. Klunder, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Anuj Srivastava, Nikolay Balov, Paul M. Thompson	Brain Fiber Architecture, Genetics, and Intelligence: A High Angular Resolution Diffusion Imaging (HARDI) Study.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
9	Roman Kolpakov, Mathieu Raffinot	Faster Text Fingerprinting.	SPIRE	2008	DBLP DOI BibTeX RDF
9	Martin Byröd, Klas Josephson, Kalle Åström	A Column-Pivoting Based Strategy for Monomial Ordering in Numerical Gröbner Basis Calculations.	ECCV (4)	2008	DBLP DOI BibTeX RDF
9	Rayna Dimitrova, Andreas Podelski	Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?	VMCAI	2008	DBLP DOI BibTeX RDF
9	Peter J. Murphy, Anne-Maria Laukkanen	Electroglottogram Analysis of Emotionally Styled Phonation.	COST 2102 School (Vietri)	2008	DBLP DOI BibTeX RDF
9	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
9	Razvan Cristescu	On node selection for classification in correlated data sets.	CISS	2008	DBLP DOI BibTeX RDF
9	Vladimir P. Gerdt, Mikhail V. Zinin	A pommaret division algorithm for computing Grobner bases in boolean rings.	ISSAC	2008	DBLP DOI BibTeX RDF	boolean ring, involutive algorithm, pommaret division, groebner basis
9	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 46E25, 54C30
9	Martin Raussen	Invariants of Directed Spaces.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A32, 55Pxx, 55Q05, 55U40, 68Q85, 68N30
9	Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category II.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
9	Tomás Lang, Alberto Nannarelli	A Radix-10 Digit-Recurrence Division Unit: Algorithm and Architecture.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	decimal division, algorithms and architectures for floating-point arithmetic, Decimal arithmetic, digit-recurrence division
9	Fengxi Song, David Zhang 0001, Dayong Mei, Zhongwei Guo	A Multiple Maximum Scatter Difference Discriminant Criterion for Facial Feature Extraction.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
9	Jian Meng, Guanfeng Liu 0001, Zexiang Li 0001	A Geometric Theory for Analysis and Synthesis of Sub-6 DoF Parallel Manipulators.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
9	Yoshihito Tanaka	An Infinitary Extension of Jankov's Theorem.	Stud Logica	2007	DBLP DOI BibTeX RDF	Subdirectly irreducible algebra, Heyting algebra, Infinitary logic