5205 search results - page 666 / 1041 » Tilings and model theory |
143
click to vote
ILP
2004
Springer
16 years 7 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
204
Voted
IPSN
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we study the optimal way of distributing sensors in a random field to minimize the estimation distortion. We show that this problem is equivalent to certain proble...
164
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
189
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
233
Voted
NMR
2004
Springer
16 years 6 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...