Search results for "Definite"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Fangyan Lu, Hongwei Sun	Positive definite dot product kernels in learning theory.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	conditionally positive definite, Gramian positive functions, Mercer kernels, positive definite
55	Chen Wu, Xiaohua Hu 0001, Xiajiong Shen, Xiaodan Zhang, Yi Pan 0001	An Incremental Algorithm for Mining Default Definite Decision Rules from Incomplete Decision Tables.	GrC	2007	DBLP DOI BibTeX RDF	incomplete decision table, semi-equivalence relation, default definite decision rule, rough set
50	Azaria Paz, Bezalel Peleg	Ultimate-Definite and Symmetric-Definite Events and Automata.	J. ACM	1965	DBLP DOI BibTeX RDF
47	Hiroshi Konno, Naoya Kawadai, Hiroshi Shimode	A two step algorithm for solving a large scale semi-definite logit model.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Failure discriminant analysis, Semi-definite logit model, Cutting plane algorithm, Logit model
47	Allan Pinkus	Strictly Positive Definite Functions on a Real Inner Product Space.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	strictly positive definite, inner product space
47	Jacob M. Howe, Andy King	Implementing Groundness Analysis with Definite Boolean Functions.	ESOP	2000	DBLP DOI BibTeX RDF	definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs
46	Kouichi Hirata	Flattening and Implication.	ALT	1999	DBLP DOI BibTeX RDF
44	Ryszard A. Walentynski	Choleski-Banachiewicz Approach to Systems with Non-positive Definite Matrices with Mathematica.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
44	Uschi Heuter	Generalized Definite Tree Languages.	MFCS	1989	DBLP DOI BibTeX RDF
44	Thanh D. X. Duong, Vu N. Duong	Non-negative Sparse Principal Component Analysis for Multidimensional Constrained Optimization.	PRICAI	2008	DBLP DOI BibTeX RDF	semi-definite relaxation, l 1-minimization, iterative reweighting, principal component analysis, semi-definite programming
41	Kun Zhao, Ying-Jie Tian 0001, Naiyang Deng, Hiroshi Kuwajima, Takashi Washio	Robust Unsupervised and Semisupervised Bounded C-Support Vector Machines.	ICDM Workshops	2007	DBLP DOI BibTeX RDF	Bounded Support Vector Machines, robust, semi- supervised learning, unsupervised learning, Semi- definite Programming
40	Paolo Bientinesi, Brian C. Gunter, Robert A. van de Geijn	Families of algorithms related to the inversion of a Symmetric Positive Definite matrix.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	symmetric positive definite, libraries, Linear algebra, inversion
40	Velislava Stoykova	Bulgarian Noun - Definite Article in DATR.	AIMSA	2002	DBLP DOI BibTeX RDF	DATR formal language for lexical knowledge presentation, Bulgarian definite article, computational morphology, definiteness
40	Zhong-Zhi Bai	Modified Block SSOR Preconditioners for Symmetric Positive Definite Linear Systems.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	symmetric positive definite linear system, block SSOR iteration, hierarchical basis discretization, preconditioner
40	Panagiotis Chountas, Ilias Petrounias	Representation of Definite, Indefinite and Infinite Temporal Information.	IDEAS	2000	DBLP DOI BibTeX RDF	definite information, indefinite information, infinite temporal information, precise enterprises, imperfect data, value imperfection, temporal indeterminacy, information system, temporal databases, temporal database
40	Zhong-Zhi Bai	A class of modified block SSOR preconditioners for symmetric positive definite systems of linear equations.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	symmetric positive definite linear system, block SSOR iteration, hierarchical basis discretization, 65N20, CR: G1.8, preconditioner, 65F10
40	Xingping Sun, Valdir Antonio Menegatto	Strictly positive definite functions on the complex Hilbert sphere.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	complex Hilbert sphere, positive definite functions, 41A82, 41A63, 41A05, multivariate interpolation
40	Fa-Long Luo, Rolf Unbehauen, Hongqin Xue	Continuous-time computation of the eigenvectors of a class of positive definite matrices.	PDP	1995	DBLP DOI BibTeX RDF	analogue computers, continuous-time computation, analog circuit approach, specialized analog computers, asynchronous parallel processing, continuous-time dynamics, high-speed computational capability, real-time applications fields, parallel processing, neural nets, matrix algebra, eigenvectors, special purpose computers, eigenvalues and eigenfunctions, neural chips, positive definite matrices
40	Kenneth E. Hillstrom	Comparison of several adaptive Newton-Cotes quadrature routines in evaluating definite integrals with peaked integrands.	Commun. ACM	1970	DBLP DOI BibTeX RDF	Newton-Cotes integration, Newton-Cotes rules applications, Newton-Cotes rules modifications, adaptive Newton-Cotes quadrature, adaptive numerical integration, definite integral evaluation, peaked integrand integration, quadrature efficiency plot, quadrature scheme comparison
38	Serge J. Belongie, Charless C. Fowlkes, Fan R. K. Chung, Jitendra Malik	Spectral Partitioning with Indefinite Kernels Using the Nyström Extension.	ECCV (3)	2002	DBLP DOI BibTeX RDF
38	Gilberto Filé	Tree Automata and Logic Programs.	STACS	1985	DBLP DOI BibTeX RDF
38	Robert A. Di Paola	The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.	J. ACM	1973	DBLP DOI BibTeX RDF
37	Nobuo Yamashita	Sparse quasi-Newton updates with positive definite matrix completion.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C53, 90C06
37	Daoyun Xu, Zhi-Hong Tao	Complexities of Homomorphism and Isomorphism for Definite Logic Programs.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	complexity, logic program, homomorphism, isomorphism, decision problem
37	Joohyung Lee 0002	Nondefinite vs. Definite Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
37	Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz	Almost Definite Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
37	Jaz S. Kandola, Thore Graepel, John Shawe-Taylor	Reducing Kernel Matrix Diagonal Dominance Using Semi-definite Programming.	COLT	2003	DBLP DOI BibTeX RDF
37	Rafael Muñoz 0001, Andrés Montoyo	Definite Description Resolution Enrichment with WordNet Domain Labels.	IBERAMIA	2002	DBLP DOI BibTeX RDF
37	Roussanka Loukanova	Russellian and Strawsonian Definite Descriptions in Situation Semantics.	CICLing	2001	DBLP DOI BibTeX RDF
37	Manuel Palomar, Rafael Muñoz 0001	Definite Descriptions in an Information Extraction Systems.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
37	Zbigniew Stachniak	Non-clausal Reasoning with Propositional Definite Theories.	AISC	1998	DBLP DOI BibTeX RDF
37	Pierre Péladeau, Andreas Podelski	On Reverse and General Definite Tree Languages (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
37	Paul Tarau	Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.	RCLP	1991	DBLP DOI BibTeX RDF
37	Faith E. Fich, Janusz A. Brzozowski	A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages.	ICALP	1979	DBLP DOI BibTeX RDF
37	Robert A. Di Paola	The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.	J. ACM	1969	DBLP DOI BibTeX RDF
37	R. G. Reynolds, W. F. Cutlip	Synchronizations and General Repetitive Machines, with Applications to Ultimate Definite Automata.	J. ACM	1969	DBLP DOI BibTeX RDF
34	Fred G. Gustavson, John K. Reid, Jerzy Wasniewski	Algorithm 865: Fortran 95 subroutines for Cholesky factorization in block hybrid format.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	Cholesky factorization and solution, Real symmetric matrices, novel packed matrix data structures, BLAS, recursive algorithms, linear systems of equations, positive definite matrices
34	Kun Zhao, Yingjie Tian 0001, Naiyang Deng	Unsupervised and Semi-supervised Lagrangian Support Vector Machines.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	Lagrangian Support Vector Machines, semi-supervised learning, unsupervised learning, margin, Semi-definite Programming
34	Andy King, Jan-Georg Smaus, Patricia M. Hill	Quotienting Share for Dependency Analysis.	ESOP	1999	DBLP DOI BibTeX RDF	definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
32	Gilberto Filé, Roberto Vigo	Expressive Power of Definite Clauses for Verifying Authenticity.	CSF	2009	DBLP DOI BibTeX RDF	definite clauses, authenticity, security protocols, protocol verification
32	Dirk V. Arnold	On the use of evolution strategies for optimising certain positive definite quadratic forms.	GECCO	2007	DBLP DOI BibTeX RDF	cumulative step length adaptation, positive definite quadratic form, evolution strategy
32	Iain S. Duff	MA57 - a code for the solution of sparse symmetric definite and indefinite systems.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	Augmented systems, direct sparse factorization, sparse definite and indefinite systems, numerical optimization, multifrontal method
32	B. J. Duke	Certification of algorithm 298 [F1]: determination of the square root of a positive definite matrix.	Commun. ACM	1969	DBLP DOI BibTeX RDF	matrix square root, positive definite matrix, matrix, symmetric matrix
31	Veria Havary-Nassab, Shahram Shahbazpanahi, Ali Grami, Zhi-Quan Luo	Network beamforming based on second order statistics of the channel state information.	ICASSP	2008	DBLP DOI BibTeX RDF
31	Jin Wang, Chunlei Liu 0010	Generating multivariate mixture of normal distributions using a modified Cholesky decomposition.	WSC	2006	DBLP DOI BibTeX RDF
31	Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunelle	Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels.	CSMR	2003	DBLP DOI BibTeX RDF
29	Haihua Chen 0001, Alex B. Gershman	Robust adaptive beamforming for general-rank signal models using positive semi-definite covariance constraint.	ICASSP	2008	DBLP DOI BibTeX RDF
29	Valery A. Nepomniaschy	Symbolic method of verification of definite iterations over altered data structures.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
29	Benyu Zhang, Jun Yan 0001, Ning Liu 0001, QianSheng Cheng, Zheng Chen 0001, Wei-Ying Ma	Supervised semi-definite embedding for image manifolds.	ICME	2005	DBLP DOI BibTeX RDF	supervised semidefinite embedding, SSDE, image manifold, benchmark data set, feature extraction, high-dimensional data, nonlinear dimensional reduction
29	Corinna Cortes, Patrick Haffner, Mehryar Mohri	Positive Definite Rational Kernels.	COLT	2003	DBLP DOI BibTeX RDF
29	Ha Q. Le	Simplification of definite sums of rational functions by creative symmetrizing method.	ISSAC	2002	DBLP DOI BibTeX RDF
29	Iain S. Duff, Jennifer A. Scott	A frontal code for the solution of sparse positive-definite symmetric systems arising from finite-element applications.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	finite-element equations, sparse symmetric linear equations, symmetric frontal method, Gaussian elimination, Level 3 BLAS
29	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
29	Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin	VSDITLU: a verifiable symbolic definite integral table look-up.	CADE	1999	DBLP DOI BibTeX RDF
29	Witold Charatonik, Andreas Podelski	Co-definite Set Constraints.	RTA	1998	DBLP DOI BibTeX RDF
29	Bikash Chandra Ghosh, Vilas Wuwongse	A Direct Proof Procedure for Definite Conceptual Graph Programs.	ICCS	1995	DBLP DOI BibTeX RDF
29	Tanel Tammet	Completeness of Resolution for Definite Answers with Case Analysis.	CSL	1994	DBLP DOI BibTeX RDF
27	Imen Sayar	Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels. (Articulation between definite and semi-definite activities in software development).		2019	RDF
27	Guang-Jing Song, Shao-Wen Yu	Nonnegative definite and Re-nonnegative definite solutions to a system of matrix equations with statistical applications.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
27	Yongxin Yuan, Kezheng Zuo	The Re-nonnegative definite and Re-positive definite solutions to the matrix equation AXB = D.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
27	Iasson Karafyllis	Can we prove stability by using a positive definite function with non sign-definite derivative?	IMA J. Math. Control. Inf.	2012	DBLP DOI BibTeX RDF
27	Janusz A. Brzozowski, David Liu 0003	Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages	CoRR	2012	DBLP BibTeX RDF
27	Maher Moakher, Mourad Zéraï	The Riemannian Geometry of the Space of Positive-Definite Matrices and Its Application to the Regularization of Positive-Definite Matrix-Valued Data.	J. Math. Imaging Vis.	2011	DBLP DOI BibTeX RDF
27	Nicholas J. Higham, D. Steven Mackey, Françoise Tisseur	Definite Matrix Polynomials and their Linearization by Definite Pencils.	SIAM J. Matrix Anal. Appl.	2009	DBLP DOI BibTeX RDF
27	Alfonso Medina Urrea	Towards the measurement of nominal phrase grammaticality: contrasting definite-possessive phrases with definite phrases of 13.	Exact Methods in the Study of Language and Text	2007	DBLP DOI BibTeX RDF
27	Xian Zhang 0002, Mei-Yu Cheng	The general common nonnegative-definite and positive-definite solutions to the matrix equations AXAast = BBast and CXCast = DDast.	Appl. Math. Lett.	2004	DBLP DOI BibTeX RDF
27	Dharmendra Kumar Gupta, C. N. Kaul	Enclosing the square root of a positive definite symmetric matrixA positive definite symmetric matrix.	Int. J. Comput. Math.	1999	DBLP DOI BibTeX RDF
27	Garry N. Newsam, C. R. Dietrich	Bounds on the size of nonnegative definite circulant embeddings of positive definite Toeplitz matrices.	IEEE Trans. Inf. Theory	1994	DBLP DOI BibTeX RDF
27	Amir Dembo, Colin L. Mallows, Lawrence A. Shepp	Embedding nonnegative definite Toeplitz matrices in nonnegative definite circulant matrices, with application to covariance estimation.	IEEE Trans. Inf. Theory	1989	DBLP DOI BibTeX RDF
27	Denis J. Kfoury, Chung L. Liu	Definite Stochastic Sequential Machines and Definite Stochastic Matrices	SWAT	1969	DBLP DOI BibTeX RDF
27	Abraham Ginzburg	About Some Properties of Definite, Reverse-Definite and Related Automata.	IEEE Trans. Electron. Comput.	1966	DBLP DOI BibTeX RDF
26	Kun Zhao, Yingjie Tian 0001, Naiyang Deng	Robust Unsupervised and Semi-supervised Bounded v - Support Vector Machines.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Bounded ?? support vector machines, Robust, Semi-supervised learning, Unsupervised learning, Semi-definite programming
26	Igor E. Kaporin, Igor N. Konshin	Load Balancing of Parallel Block Overlapped Incomplete Cholesky Preconditioning.	PaCT	2009	DBLP DOI BibTeX RDF	symmetric positive definite matrix, incomplete Cholesky factorization, parallel preconditioning, conjugate gradient method
26	Kathrin Glüer, Peter Pagin	Relational Modality.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence
26	Robert Schaback, Jochen Werner 0001	Linearly constrained reconstruction of functions by kernels with applications to machine learning.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	positive definite radial basis functions, machine learning, support vector machines, regression, quadratic programming, kernel machines
26	Bjarne Stig Andersen, John A. Gunnels, Fred G. Gustavson, John K. Reid, Jerzy Wasniewski	A fully portable high performance minimal storage hybrid format cholesky algorithm.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	Cholesky factorization and solution, complex Hermitian matrices, novel packed-matrix data structures, real symmetric matrices, BLAS, recursive algorithms, linear systems of equations, positive-definite matrices
26	Yao-Ting Huang, Kun-Mao Chao, Ting Chen 0006	An approximation algorithm for haplotype inference by maximum parsimony.	SAC	2005	DBLP DOI BibTeX RDF	integer quadratic programming, algorithm, maximum parsimony, haplotype inference, semi-definite programming
26	Fangjian Huang, Shengli Chen	Schur partition for symmetric ternary forms and readable proof to inequalities.	ISSAC	2005	DBLP DOI BibTeX RDF	Schur partition, positive semi-definite, symmetric inequality, ternary symmetric form
26	Anima Gupta, Paul Tarau	Logic Programming Techniques for Dynamic VRML Web Content Generation.	PADL	2001	DBLP DOI BibTeX RDF	Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures
26	Alfred O. Hero III, J. O'Neill, William J. Williams	Moment Matrices for Recognition of Spatial Pattern in Noisy Images.	ICIP (2)	1997	DBLP DOI BibTeX RDF	spatial pattern recognition, moment matrices, noise contaminated binary images, subspace decomposition, nonnegative definite matrix, higher order moments, normalized power moments, ascending factorial moments, moment descriptors, word classification, binary document images, noise, pattern classification, noisy images, pattern detection
26	Gopal Gupta 0001, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
26	M. A. Snyder	On the Mathematical Foundations of Smoothness Constraints for the Determination of Optical Flow and for Surface Reconstruction.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	gradient-based methods, minimization technique, grey-level image intensity function, Cartesian coordinate system, weight matrix, computer vision, computer vision, optical flow, surface reconstruction, minimisation, smoothness constraints, positive definite
26	Herbert E. Salzer	Chebyshev interpolation and quadrature formulas of very high degree.	Commun. ACM	1969	DBLP DOI BibTeX RDF	Chebyshev interpolation, Chebyshev points, Chebyshev quadrature, Chebyshev zeros, definite integrals, interpolation, Chebyshev polynomials, quadrature
23	Petra B. Schumacher	Definiteness Marking Shows Late Effects during Discourse Processing: Evidence from ERPs.	DAARC	2009	DBLP DOI BibTeX RDF	Referential processing, Event-related brain potentials, Inferences, Definiteness
23	Angelos Barmpoutis, Baba C. Vemuri	Exponential Tensors: A Framework for Efficient Higher-Order Dt-mri Computations.	ISBI	2007	DBLP DOI BibTeX RDF
23	Assem H. Sonbol, M. Sami Fadali	Stability Analysis of Discrete TSK Type II/III Systems.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
23	Yiguang Liu, Zhisheng You	A Concise Functional Neural Network for Computing the Extremum Eigenpairs of Real Symmetric Matrices.	ISNN (1)	2006	DBLP DOI BibTeX RDF
23	Pierre Fillard, Vincent Arsigny, Nicholas Ayache, Xavier Pennec	A Riemannian Framework for the Processing of Tensor-Valued Images.	DSSCV	2005	DBLP DOI BibTeX RDF
23	Wilson Rosa de Oliveira, Marcílio Carlos Pereira de Souto, Teresa Bernarda Ludermir	Turing Machines with Finite Memory.	SBRN	2002	DBLP DOI BibTeX RDF
23	Konstantinos Sagonas, Terrance Swift, David Scott Warren	An Abstract Machine for Fixed-Order Dynamically Stratified Programs.	CADE	1996	DBLP DOI BibTeX RDF
23	Nobuki Takayama	Gröbner Basis, Integration and Transcendental Functions.	ISSAC	1990	DBLP DOI BibTeX RDF
23	Toshiro Wakayama, T. H. Payne	Case Inference in Resolution-Based Languages.	CADE	1988	DBLP DOI BibTeX RDF
21	Elzbieta Pekalska, Bernard Haasdonk	Kernel Discriminant Analysis for Positive Definite and Indefinite Kernels.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
21	Kenneth Wing-Kin Lui, Wing-Kin Ma, Hing-Cheung So, Frankie K. W. Chan	Semi-Definite Programming Algorithms for Sensor Network Node Localization With Uncertainties in Anchor Positions and/or Propagation Speed.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
21	Teresa Laudadio, Nicola Mastronardi, Marc Van Barel	Computing a Lower Bound of the Smallest Eigenvalue of a Symmetric Positive-Definite Toeplitz Matrix.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
21	Djurdje Cvijovic, H. M. Srivastava 0001	Closed-form evaluations of certain definite integrals by employing the Cauchy integral theorem.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 30E20, 11M35, Secondary 11M99, 33B10
21	Christian Ott 0001, Andreas Kugi, Yoshihiko Nakamura	Resolving the problem of non-integrability of nullspace velocities for compliance control of redundant manipulators by using semi-definite Lyapunov functions.	ICRA	2008	DBLP DOI BibTeX RDF
21	Jonathan Malkin, Jeff A. Bilmes	Ratio semi-definite classifiers.	ICASSP	2008	DBLP DOI BibTeX RDF
21	Nima Sarmadi, Alex B. Gershman, Shahram Shahbazpanahi	Blind channel estimation in MIMO-OFDM systems using semi-definite relaxation.	ICASSP	2008	DBLP DOI BibTeX RDF
21	Valery A. Nepomniaschy	Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF