742 search results - page 77 / 149 » Applications of Belief Revision |
140
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
We bound the number of sensors required to achieve a desired level of sensing accuracy in a discrete sensor network application (e.g. distributed detection). We model the state of...
174
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
173
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
146
click to vote
PKC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
294
click to vote
Book
"The book is the textbook for the programming languages course at Brown University, which is taken primarily by third and fourth year undergraduates and beginning graduate (bo...