310 search results - page 23 / 62 » On Sketching Quadratic Forms |
SIAMJO
2008
13 years 9 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
MA
2010
Springer
13 years 8 months ago
2010
Springer
We establish the Stein phenomenon in the context of two-step, monotone incomplete data drawn from Np+q(µ, Σ), a multivariate normal population with mean µ and covariance matrix...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...