7988 search results - page 139 / 1598 » A Useful Undecidable Theory |
APAL
2005
13 years 10 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
IANDC
1998
13 years 10 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
An approach to multiwindow time-frequency analysis that provides robust performance in noisy environment is proposed. The concept of robust estimates of instantaneous frequency is...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functoria...
ICCV
1995
IEEE
14 years 1 months ago
1995
IEEE
Computational vision algorithms are often developed in a Bayesian framework. Two estimators are commonly used: maximum a posteriori (MAP), and minimum mean squared error (MMSE). W...