2651 search results - page 332 / 531 » Beliefs in Agent Implementation |
100
Voted
POLICY
2005
Springer
15 years 6 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
83
Voted
CEEMAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Prepay usage as a percentage of overall mobile phone access has increased sharply over the past several years. However, the recharging process is still largely manual wit...
108
Voted
IUI
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes the design and implementation of the Office Assistant – an agent that interacts with visitors at the office door and manages the office owner’s schedule. ...
94
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
139
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Candlestick analysis, a form of stock market technical analysis, is well suited for use with a genetic search algorithm. This paper explores an implementation of marrying these tw...