835 search results - page 124 / 167 » Nonmonotonic Reasoning in Probabilistics |
C3S2E
2010
ACM
14 years 10 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
132
click to vote
HT
2011
ACM
14 years 1 months ago
2011
ACM
Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
IPSN
2004
Springer
15 years 3 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a parallel implementation of a probabilistic algorithm for real time tracking of segments in noisy edge images. Given an initial solution ?a set of segments that reason...