448 search results - page 65 / 90 » A SOA-Based Framework for Constructing Problem Solving Envir... |
119
Voted
CRYPTO
2011
Springer
14 years 1 months ago
2011
Springer
RFID security is currently one of the major challenges cryptography has to face, often solved by protocols assuming that an on-tag hash function is available. In this article we pr...
109
Voted
SARA
2005
Springer
15 years 7 months ago
2005
Springer
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
109
Voted
IJCAI
2003
15 years 3 months ago
2003
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL al...
115
click to vote
ICSE
1997
IEEE-ACM
15 years 5 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
107
click to vote
JAIR
2008
15 years 1 months ago
2008
Partially Observable Markov Decision Processes (POMDPs) provide a rich framework for sequential decision-making under uncertainty in stochastic domains. However, solving a POMDP i...