Sciweavers

1418 search results - page 165 / 284
» Schema polynomials and applications
Sort
View
JSAT
2006
114views more  JSAT 2006»
15 years 6 months ago
Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems
Semidefinite optimization, commonly referred to as semidefinite programming, has been a remarkably active area of research in optimization during the last decade. For combinatoria...
Miguel F. Anjos
KI
2006
Springer
15 years 6 months ago
A New n-ary Existential Quantifier in Description Logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
SIAMMAX
2011
79views more  SIAMMAX 2011»
15 years 1 months ago
Solving Rational Eigenvalue Problems via Linearization
Rational eigenvalue problems (REPs) are an emerging class of nonlinear eigenvalue problems that arise from a variety of physical applications. In this paper, we propose a lineariz...
Yangfeng Su, Zhaojun Bai
FCCM
2007
IEEE
107views VLSI» more  FCCM 2007»
16 years 22 days ago
Optimizing Logarithmic Arithmetic on FPGAs
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
Haohuan Fu, Oskar Mencer, Wayne Luk
CVPR
2003
IEEE
16 years 8 months ago
Generalized Principal Component Analysis (GPCA)
This paper presents an algebro-geometric solution to the problem of segmenting an unknown number of subspaces of unknown and varying dimensions from sample data points. We represen...
René Vidal, Shankar Sastry, Yi Ma