3729 search results - page 382 / 746 » On Formal Modeling of Agent Computations |
160
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We consider PAC learning of simple cooperative games, in which the coalitions are partitioned into "winning" and "losing" coalitions. We analyze the complexity...
191
click to vote
ACL
2009
15 years 4 months ago
2009
We investigate the task of unsupervised constituency parsing from bilingual parallel corpora. Our goal is to use bilingual cues to learn improved parsing models for each language ...
184
click to vote
DSVIS
2005
Springer
16 years 9 days ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
204
Voted
ESORICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
181
click to vote
MATES
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...