Sciweavers

3179 search results - page 198 / 636
» Applications of PCF Theory
Sort
View
AGENTCL
2003
Springer
14 years 3 months ago
Proactive Communications in Agent Teamwork
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...
John Yen, Xiaocong Fan, Richard A. Volz
FOSSACS
2003
Springer
14 years 3 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
FSTTCS
2003
Springer
14 years 3 months ago
Moderately Hard Functions: From Complexity to Spam Fighting
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
Moni Naor
SIGECOM
2010
ACM
165views ECommerce» more  SIGECOM 2010»
14 years 3 months ago
Computing optimal strategies to commit to in extensive-form games
Computing optimal strategies to commit to in general normal-form or Bayesian games is a topic that has recently been gaining attention, in part due to the application of such algo...
Joshua Letchford, Vincent Conitzer
AUSAI
2001
Springer
14 years 2 months ago
Actions Made Explicit in BDI
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
Vineet Padmanabhan, Guido Governatori, Abdul Satta...