7335 search results - page 762 / 1467 » Scene Based Reasoning |
205
click to vote
KR
2004
Springer
16 years 24 days ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
204
click to vote
DSN
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
168
click to vote
RR
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
194
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
184
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...