Search results for "quotient"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Gejza Jenca, Sylvia Pulmannová	Ideals and quotients in lattice ordered effect algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF
28	Lee D. McFearin, David W. Matula	Generation and Analysis of Hard to Round Cases for Binary Floating Point Division.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
28	Khalil Ajami, Serge Haddad, Jean-Michel Ilié	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.	TACAS	1998	DBLP DOI BibTeX RDF	Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
28	Takeshi Fukuda, Yasuhiko Morimoto, Shinichi Morishita, Takeshi Tokuyama	Interval Finding and Its Application to Data Mining.	ISAAC	1996	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Peter W. Kopke	State Equivalences for Rectangular Hybrid Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
28	Oleg Sokolsky, Scott A. Smolka	Local Model Checking for Real-Time Systems (Extended Abstract).	CAV	1995	DBLP DOI BibTeX RDF
28	Paolo Montuschi, Luigi Ciminiera	Radix-8 division with over-redundant digit set.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
28	Gustav Feichtinger	Der Quotientenautomat nach einem direkten Faktor einer Automorphismengruppe.	Computing	1968	DBLP DOI BibTeX RDF
27	Patrick Bosc, Olivier Pivert, Olivier Soufflet	Stratified division queries involving ordinal user preferences.	SAC	2009	DBLP DOI BibTeX RDF	ordinal preferences, division, top-k queries, flexible querying, lexicographic order, quotient
27	Maria Emilia Maietti	Quotients over Minimal Type Theory.	CiE	2007	DBLP DOI BibTeX RDF	Dependent type theory, quotient completion, intuitionistic logic
27	Bernard Mourrain	Generalized normal forms and polynomial system solving.	ISSAC	2005	DBLP DOI BibTeX RDF	quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding
27	Carol L. Walker	Categories of fuzzy sets.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Quotient category, Fuzzy sets, Category
27	Attif A. Ibrahem, Hamed Elsimary, Aly E. Salama	FPGA Implementation of Fast Radix 4 Division Algorithm.	IWSOC	2004	DBLP DOI BibTeX RDF	fast division, radix 4 division, quotient selection, Field programmable gate arrays (FPGAs)
27	Tony Y. T. Chan	Supervised Classification for the Triple Parity Strings.	AIMSA	2000	DBLP DOI BibTeX RDF	unifying metric approach, stability quotient, stability optimization, supervised learning, transformation systems
27	D. E. Roberts	On a vector q-d algorithm.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	vector continued fraction, vector Padé approximant, quotient-difference algorithm, cross rule, Clifford algebra, power method
27	Valeriu Beiu	Enhanced lower entropy bounds with application to constructive learning.	EUROMICRO	1997	DBLP DOI BibTeX RDF	enhanced lower entropy bounds, IR/sup n/, constructive learning algorithms, n dimensional ball, integer weights, maximum volume, n dimensional cones, neural networks, neural nets, upper bounding, polyhedron, logarithm, classification problems, quotient
27	Alain Guyot, Marc Renaudin, Bachar El-Hassan, Volker Levering	Self timed division and square-root extraction.	VLSI Design	1996	DBLP DOI BibTeX RDF	self-timed integrated circuit, square-root extraction, mathematical algorithm, logic level, binary notation, iterative methods, design methodology, integrated circuit design, division, dividing circuits, quotient, pipeline arithmetic, pipelined arithmetic, functional blocks
27	Hosahalli R. Srinivas, Keshab K. Parhi	A floating point radix 2 shared division/square root chip.	ICCD	1995	DBLP DOI BibTeX RDF	floating point radix 2 shared division/square root chip, full-custom 1.2 micron CMOS VLSI chip, single precision IEEE 754 std. floating point numbers, square root algorithm, digit-by-digit schemes, quotient/root digit selection, 5.0 V, 66 MHz, VLSI, floating point arithmetic, CMOS integrated circuits, IEEE standards, dividing circuits, 1.2 micron, division algorithm
27	Jin Yang, Aloysius K. Mok, Douglas A. Stuart	A new generation modechart verifie.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	modechart verifier, vf3, arbitrary hierarchy, verification process speed, zone-based computation graph, on-the-fly deterministic pruning, outgoing edge reduction, graph nodes, quotient graph, real-time logic formula, graph size, SARTOR project, real-time systems, formal verification, graph theory, operational semantics, diagrams, computer aided software engineering, search space reduction
27	A. Polster	Parallel Solution of Eigenvalue Problems in Acoustics on the Distributed Array Processor (DAP).	CONPAR	1986	DBLP DOI BibTeX RDF	Rayleigh Quotient, DAP, arbitrary domains, 3-dimensional calculations, PDE, Conjugate Gradient Method
25	Yueqin Zhang, Qingwei Yan, Lili Zong	An Association Rule Algorithm Based on Quotient Space.	WKDD	2009	DBLP DOI BibTeX RDF
25	Yuanqing Wu 0001, Zexiang Li 0001, Han Ding, Yunjiang Lou	Quotient kinematics machines: Concept, analysis and synthesis.	IROS	2008	DBLP DOI BibTeX RDF
25	Simone Martini 0002, Magnus Egerstedt, Antonio Bicchi	Controllability decompositions of networked systems through quotient graphs.	CDC	2008	DBLP DOI BibTeX RDF
25	Huiqin Wang, Jingchao Chen	Improving Self-Quotient Image Method of NPR.	CSSE (6)	2008	DBLP DOI BibTeX RDF
25	Lan Fangpeng, Deng Jing	Organization of Case Base Represented with XML under Quotient Space.	CSSE (5)	2008	DBLP DOI BibTeX RDF
25	Farhad Tavassoli, Homayoon Oraizi, Bahman Abolhassani	A New Rayleigh Quotient Based Beamforming Method for CDMA Communication Systems.	VTC Spring	2007	DBLP DOI BibTeX RDF
25	Xuejun Li 0001, Long-shu Li, Ling Zhang, Yi Xu	A Novel Representation of Concept Hierarchy Based on Quotient Space Model.	FSKD (1)	2007	DBLP DOI BibTeX RDF
25	Wen-shin Lee	From quotient-difference to generalized eigenvalues and sparse polynomial interpolation.	SNC	2007	DBLP DOI BibTeX RDF	Ben-Or/Tiwari algorithm, Prony's method, qd-algorithm, sparse polynomial interpolation, generalized eigenvalue
25	Angsheng Li, Guohua Wu, Yue Yang 0004	On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.	TAMC	2006	DBLP DOI BibTeX RDF
25	Scott C. Douglas	Relationships Between the FastICA Algorithm and the Rayleigh Quotient Iteration.	ICA	2006	DBLP DOI BibTeX RDF
25	Nasiroh Omar, Colin Higgins, Colin G. Harrison, Diego Campo Millan	Evaluating Real-time Online Research Data (RORD) and Verbatim Quotient Detection (VQD): Low Inference Tools to Monitor Outcomes of Unconstrained Authentic Internet Research.	ICALT	2006	DBLP DOI BibTeX RDF
25	Masashi Nishiyama, Osamu Yamaguchi	Face Recognition Using the Classified Appearance-based Quotient Image.	FGR	2006	DBLP DOI BibTeX RDF
25	Gretchen L. Matthews	Weierstrass Semigroups and Codes from a Quotient of the Hermitian Curve.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	AMS Classification 094
25	Carlo Bellettini, Lorenzo Capra	Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.	IPDPS	2005	DBLP DOI BibTeX RDF
25	Hongbin Fang, Ling Zhang	Semi-order structure fusion model of quotient spaces under the condition of inconsistency information.	GrC	2005	DBLP DOI BibTeX RDF
25	Matti Airas, Paavo Alku	Emotions in Short Vowel Segments: Effects of the Glottal Flow as Reflected by the Normalized Amplitude Quotient.	ADS	2004	DBLP DOI BibTeX RDF
25	Lieven De Lathauwer, Luc Hoegaerts, Joos Vandewalle	A Grassmann-Rayleigh Quotient Iteration for Dimensionality Reduction in ICA.	ICA	2004	DBLP DOI BibTeX RDF
25	Yifan Liu, Zheng Su	Generalized Rayleigh Quotient Shift Strategy in QR Algorithm for Eigenvalue Problems.	NAA	2004	DBLP DOI BibTeX RDF
25	A. Prasad Sistla, Xiaodong Wang, Min Zhou	Checking Extended CTL properties Using Guarded Quotient Structures.	SEFM	2004	DBLP DOI BibTeX RDF
25	Y. Y. Yao, Churn-Jung Liau, Ning Zhong 0001	Granular Computing Based on Rough Sets, Quotient Space Theory, and Belief Functions.	ISMIS	2003	DBLP DOI BibTeX RDF
25	Yasuo Kanai	On completeness of the quotient algebras P(k)/I{\cal P}(\kappa)/I.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
25	Tammy Riklin-Raviv, Amnon Shashua	The Quotient Image: Class Based Recognition and Synthesis under Varying Illumination Conditions.	CVPR	1999	DBLP DOI BibTeX RDF	Class-Based, Recognition, Illumination, Image-Synthesis
25	Ulrich Kortenkamp	Every Simplicial Polytope with at Most d + 4 Vertices Is a Quotient of a Neighborly Polytope.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
25	Holger Orup	Simplifying Quotient Determination in High-Radix Modular Multiplication.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
19	Prasad Raghavendra, David Steurer, Prasad Tetali	Approximations for the isoperimetric and spectral profile of graphs and related parameters.	STOC	2010	DBLP DOI BibTeX RDF	graph expansion, small-set expansion, sparse principal component analysis, spectral profile, approximation algorithm, semidefinite programming
19	Mikola Lysenko, Saigopal Nelaturi, Vadim Shapiro	Group morphology with convolution algebras.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF
19	Sheng-Gang Li, Hai-Yang Li	Some Properties of Categories CL and CLPair.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B35, 18A30
19	Zoran Majkic	Intensional First-Order Logic for P2P Database Systems.	J. Data Semantics	2009	DBLP DOI BibTeX RDF
19	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	Open Partitions and Probability Assignments in Gödel Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF
19	Josef Slapal	Jordan Curve Theorems with Respect to Certain Pretopologies on \mathbb Z2\mathbb Z^2.	DGCI	2009	DBLP DOI BibTeX RDF
19	László Babai, Robert Beals, Ákos Seress	Polynomial-time theory of matrix groups.	STOC	2009	DBLP DOI BibTeX RDF	computational group theory, matrix groups, discrete log
19	Michael B. Monagan, Paul Vrbik	Lazy and Forgetful Polynomial Arithmetic and Applications.	CASC	2009	DBLP DOI BibTeX RDF
19	Mohamed Anane, Hamid Bessalah, Mohamed Issad, Nadjia Anane, Hassen Salhi	Higher Radix and Redundancy Factor for Floating Point SRT Division.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
19	MaoZhi Xu, ChunLai Zhao, Min Feng, ZhaoRong Ren, JiQing Ye	Cryptography on elliptic curves over p -adic number fields.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	formal group, p-adic number field, cryptography, elliptic curves
19	Michael Hrusák, Jindrich Zapletal	Forcing with quotients.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E40, 03E15
19	Rafal Henryk Kartaszynski, Pawel Mikolajczak	Volumetric Analysis of Tumours and Their Blood Vessels.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
19	Punyashloka Biswal, James R. Lee, Satish Rao	Eigenvalue Bounds, Spectral Partitioning, and Metrical Deformations via Flows.	FOCS	2008	DBLP DOI BibTeX RDF
19	Jinzhao Wu, Wei Yan	Model Checking of Computer-Based Systems.	ECBS	2007	DBLP DOI BibTeX RDF
19	Salem Derisavi	Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.	QEST	2007	DBLP DOI BibTeX RDF
19	Tsau Young Lin	Granular models for partitions, coverings, and Pre-Topologies.	SMC	2007	DBLP DOI BibTeX RDF
19	Qubo You, Nanning Zheng 0001, Shaoyi Du, Yang Wu 0001	General Solution for Supervised Graph Embedding.	ECML	2007	DBLP DOI BibTeX RDF
19	Nikolay Balov, Anuj Srivastava, Chunming Li, Zhaohua Ding	Shape Analysis of Open Curves in R3 with Applications to Study of Fiber Tracts in DT-MRI Data.	EMMCVPR	2007	DBLP DOI BibTeX RDF
19	Shantanu H. Joshi, Eric Klassen, Anuj Srivastava, Ian Jermyn	Removing Shape-Preserving Transformations in Square-Root Elastic (SRE) Framework for Shape Analysis of Curves.	EMMCVPR	2007	DBLP DOI BibTeX RDF
19	Hooman Nikmehr, Braden Phillips, Cheng-Chew Lim	Fast Decimal Floating-Point Division.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
19	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Symmetry Reduction for Probabilistic Model Checking.	CAV	2006	DBLP DOI BibTeX RDF
19	Zhang Guiyun, Yang Bingru, Zhang Weijuan	Decomposition and Hierarchical Process for Fuzzy Cognitive Maps of Complex Systems.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
19	Jianmin Jiang, Jinzhao Wu, Donghuo Chen	Symmetry in event structures.	SAC	2006	DBLP DOI BibTeX RDF	symmetry, equivalences, event structures
19	Jan Erik Solem, Niels Chr. Overgaard, Markus Persson, Anders Heyden	Fast Variational Segmentation using Partial Extremal Initialization.	CVPR (1)	2006	DBLP DOI BibTeX RDF
19	Mohammed A. Hasan	Differential and geometric properties of Rayleigh quotients with applications.	ISCAS	2006	DBLP DOI BibTeX RDF
19	Shengzhi Du, Zengqiang Chen 0001, Zhuzhi Yuan	Evolutionary Pseudo-Relaxation Learning Algorithm for Bidirectional Associative Memory.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	pseudo-relaxation method, digital pattern, genetic algorithm, neural network, associative memory, noise immunity
19	Karen S. K. Cheung, Douglas R. Vogel	Complexity Reduction in Lattice-Based Information Retrieval.	Inf. Retr.	2005	DBLP DOI BibTeX RDF	information retrieval, concept lattice, lattice theory
19	Dong-Xia Chang, Da-Zheng Feng, Wei Xing Zheng 0001, Lei Li	A fast recursive total least squares algorithm for adaptive IIR filtering.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
19	C. van Trigt	Illuminant-Dependence of Von Kries Type Quotients.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	von Kries hypothesis, discounting the illuminant, chromatic adaptation, narrow sensor, spectral distribution function, reflectance, colour constancy
19	Patrick Bosc, Olivier Pivert, Daniel Rocacher	On the Approximate Division of Fuzzy Relations.	ISMIS	2005	DBLP DOI BibTeX RDF
19	Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié	On the use of exact lumpability in partially symmetricalWell-formed Nets.	QEST	2005	DBLP DOI BibTeX RDF
19	Stefan Rührup, Christian Schindelhauer	Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio.	ESA	2005	DBLP DOI BibTeX RDF
19	Xingye Dong, Houkuan Huang, Hongsong Li	HQC: An Efficient Method for ROLAP with Hierarchical Dimensions.	RSFDGrC (2)	2005	DBLP DOI BibTeX RDF
19	Jianmin Jiang, Jinzhao Wu	Symmetry and Autobisimulation.	PDCAT	2005	DBLP DOI BibTeX RDF	autobisimulation, Symmetry, event structures
19	Günther Richter	An Elementary Approach to Exponentiable Maps.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	fibrewise quasi local compactness, fibrewise function spaces, exponentiable maps
19	Sanming Zhou	Almost Covers Of 2-Arc Transitive Graphs.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C25, 05E99
19	Kevin J. Lang, Satish Rao	A Flow-Based Method for Improving the Expansion or Conductance of Graph Cuts.	IPCO	2004	DBLP DOI BibTeX RDF
19	Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi	Computing the Follow Automaton of an Expression.	CIAA	2004	DBLP DOI BibTeX RDF
19	Heidi J. Romero, Carlos A. Brizuela, Andrei Tchernykh	An Experimental Comparison of Approximation Algorithms for the Shortest Common Superstring Problem.	ENC	2004	DBLP DOI BibTeX RDF
19	Doron Bustan, Orna Grumberg	Simulation-based minimazation.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Simulation, Minimization
19	Jaemin Ahn, Sungkwon Kang, YongHoon Kwon	A Flexible Inverse Laplace Transform Algorithm and its Application.	Computing	2003	DBLP DOI BibTeX RDF	Inverse Laplace transform, transport equation, porous media, time-integration
19	José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet	Equational Abstractions.	CADE	2003	DBLP DOI BibTeX RDF
19	Guy Even, Peter-Michael Seidel	Pipelined Multiplicative Division with IEEE Rounding.	ICCD	2003	DBLP DOI BibTeX RDF
19	Anders Berkeman, Viktor Öwall	A configurable divider using digit recurrence.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
19	Mohammed A. Hasan	Algorithms for computating principal and minor invariant subspaces of large matrices.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
19	Jean-Michel Muller	Complex Division with Prescaling of Operands.	ASAP	2003	DBLP DOI BibTeX RDF
19	José M. Alonso-Meijide, M. Gloria Fiestras-Janeiro	Modification of the Banzhaf Value for Games with a Coalition Structure.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	a priori system of unions, coalitional Banzhaf values, voting games
19	Sangback Ma, Ho-Jong Jang, Eunbae Kong	Comparisons of Parallel Preconditioners for the Computation of Interior Eigenvalues by a CG-Type Method on a Parallel Computer.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	CG, Multi-Color Block SSOR, Parallel, Preconditioning, Eigenvalue Problem
19	Mohammed A. Hasan, Ali A. Hasan	Minor and major subspace computation of large matrices.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
19	Elisardo Antelo, Tomás Lang, Paolo Montuschi, Alberto Nannarelli	Fast Radix-4 Retimed Division with Selection by Comparisons.	ASAP	2002	DBLP DOI BibTeX RDF
19	Albert A. Liddicoat, Michael J. Flynn	High-Performance Floating Point Divide.	DSD	2001	DBLP DOI BibTeX RDF
19	Gianluca Cornetta, Jordi Cortadella	A Multi-Radix Approach to Asynchronous Division.	ASYNC	2001	DBLP DOI BibTeX RDF
19	Pierre Courtieu	Normalized Types.	CSL	2001	DBLP DOI BibTeX RDF
19	Stavros Tripakis, Karine Altisen	On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
19	William L. Freking, Keshab K. Parhi	A Unified Method for Iterative Computation of Modular Multiplication and Reduction Operations.	ICCD	1999	DBLP DOI BibTeX RDF	public-key cryptography, modular multiplication, modular reduction, iterative computation
19	Che-Han Wu, Ming-Der Shieh, Chien-Hsing Wu 0002, Ming-Hwa Sheu, Jia-Lin Sheu	A VLSI architecture of fast high-radix modular multiplication for RSA cryptosystem.	ISCAS (1)	1999	DBLP DOI BibTeX RDF