2920 search results - page 59 / 584 » Finite information logic |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...
IPMI
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. We address the problem of entropy estimation for highdimensional finite-accuracy data. Our main application is evaluating high-order mutual information image similarity c...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— We consider multiuser scheduling with limited feedback of partial channel state information in MIMO broadcast channels. By using spatial multiplexing at the base statio...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...
EKAW
1999
Springer
14 years 2 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...