575 search results - page 92 / 115 » Transition systems for designing and reasoning about norms |
EWMF
2003
Springer
15 years 4 months ago
2003
Springer
Item-based Collaborative Filtering (CF) algorithms have been designed to deal with the scalability problems associated with traditional user-based CF approaches without sacrificin...
APN
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
117
click to vote
IJIIDS
2008
14 years 11 months ago
2008
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...
100
click to vote
AIIDE
2008
15 years 1 months ago
2008
Artificial intelligence in games is typically used for creating player's opponents. Manual edition of intelligent behaviors for Non-Player Characters (NPCs) of games is a cum...
100
click to vote
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...