3353 search results - page 332 / 671 » Laver and set theory |
174
click to vote
CSDA
2006
15 years 6 months ago
2006
This article deals with the compact representation of incomplete probabilistic knowledge which can be encountered in risk evaluation problems, for instance in environmental studie...
161
click to vote
DSS
2006
15 years 6 months ago
2006
In order to overcome some unavoidable factors, like shift of the part, that influence the crisp neural networks' recognition, the present study is dedicated in developing a n...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
161
click to vote
ENTCS
2006
15 years 6 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
181
click to vote
IJRR
2008
15 years 6 months ago
2008
Robots must complete their tasks in spite of unreliable actuators and limited, noisy sensing. In this paper, we consider the information requirements of such tasks. What sensing a...