Sciweavers

5799 search results - page 222 / 1160
» Position Paper
Sort
View
LOGCOM
2006
58views more  LOGCOM 2006»
15 years 3 months ago
Proof Theory for Casari's Comparative Logics
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
George Metcalfe
TNN
2008
108views more  TNN 2008»
15 years 3 months ago
A Novel Recurrent Neural Network for Solving Nonlinear Optimization Problems With Inequality Constraints
This paper presents a novel recurrent neural network for solving nonlinear optimization problems with inequality constraints. Under the condition that the Hessian matrix of the ass...
Youshen Xia, Gang Feng, Jun Wang
118
Voted
COMBINATORICS
2004
81views more  COMBINATORICS 2004»
15 years 3 months ago
A Card Shuffling Analysis of Deformations of the Plancherel Measure of the Symmetric Group
This paper finds and analyzes a formula for the total variation distance between iterations of riffle shuffles and iterations of "cut and then riffle shuffle". This allo...
Jason E. Fulman
MOC
2002
78views more  MOC 2002»
15 years 3 months ago
A geometric theory for preconditioned inverse iteration applied to a subspace
ABSTRACT. The aim of this paper is to provide a convergence analysis for a preconditioned subspace iteration, which is designated to determine a modest number of the smallest eigen...
Klaus Neymeyr
106
Voted
ORL
2010
98views more  ORL 2010»
15 years 2 months ago
A facial reduction algorithm for finding sparse SOS representations
Facial reduction algorithm reduces the size of the positive semidefinite cone in SDP. The elimination method for a sparse SOS polynomial ([3]) removes unnecessary monomials for a...
Hayato Waki, Masakazu Muramatsu