2924 search results - page 197 / 585 » An Intelligent Multi-Dictionary Environment |
126
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents properties and results of a new framework for sequential decision-making in multiagent settings called interactive partially observable Markov decision process...
123
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We explore strategies to resolve conflicts in multiagent environments that arise when agents compete for resources they need for survival and procreation. As expected, social str...
135
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
139
click to vote
ECAL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
158
click to vote
PAMI
2010
14 years 11 months ago
2010
A variety of different scripts are used in writing languages throughout the world. In a multi-script, multilingual environment, it is essential to know the script used in writing a...