1578 search results - page 43 / 316 » Induction of Stable Models |
WLP
2005
Springer
14 years 1 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
ENTCS
2007
13 years 7 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
CIRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— A heuristic search for stable high-order delta sigma modulators is presented. Searches guided by the Linear Model found stable modulators with higher SNR performance compared t...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we examine the problem of overcomplete representations and provide new insights into the problem of stable recovery of sparse solutions in noisy environments. We es...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper introduces a novel colour-based affine covariant region detector. Our algorithm is an extension of the maximally stable extremal region (MSER) to colour. The extension ...