Sciweavers

1022 search results - page 21 / 205
» Stable models and circumscription
Sort
View
PKDD
2010
Springer
169views Data Mining» more  PKDD 2010»
13 years 5 months ago
Efficient and Numerically Stable Sparse Learning
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
Sihong Xie, Wei Fan, Olivier Verscheure, Jiangtao ...
LPNMR
2007
Springer
14 years 1 months ago
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
Joohyung Lee, Ravi Palla
GLVLSI
1999
IEEE
85views VLSI» more  GLVLSI 1999»
13 years 12 months ago
S2P: A Stable 2-Pole RC Delay and Coupling Noise Metric
The Elmore delay is the metric of choice for performancedriven design applications due to its simple, explicit form and ease with which sensitivity information can be calculated. ...
Emrah Acar, Altan Odabasioglu, Mustafa Celik, Lawr...
ICRA
2002
IEEE
147views Robotics» more  ICRA 2002»
14 years 18 days ago
Design of Asymptotically Stable Walking for a 5-Link Planar Biped Walker via Optimization
— Closed-loop, asymptotically stable walking motions are designed for a 5-link, planar bipedal robot model with one degree of underactuation. Parameter optimization is applied to...
E. R. Westervelt, J. W. Grizzle
CISS
2011
IEEE
12 years 11 months ago
Stable manifold embeddings with operators satisfying the Restricted Isometry Property
—Signals of interests can often be thought to come from a low dimensional signal model. The exploitation of this fact has led to many recent interesting advances in signal proces...
Han Lun Yap, Michael B. Wakin, Christopher J. Roze...