382 search results - page 28 / 77 » Proof Theory for Distributed Knowledge |
95
Voted
FSKD
2007
Springer
15 years 1 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
GEOS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
101
click to vote
SCALESPACE
2001
Springer
15 years 2 months ago
2001
Springer
Bayesian statistical theory is a convenient way of taking a priori information into consideration when inference is made from images. In Bayesian image detection, the a priori dist...
88
Voted
AAAI
2007
15 years 13 hour ago
2007
Recent work on online auctions for digital goods has explored the role of optimal stopping theory — particularly secretary problems — in the design of approximately optimal on...
JAR
2002
14 years 9 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...