2527 search results - page 449 / 506 » Aging in language dynamics |
134
Voted
WEBNET
1998
15 years 6 months ago
1998
: The World Wide Web is in constant renovation, with new technologies emerging every day. Most of these technologies are still incipient, and there are few de facto standards for t...
125
click to vote
WSC
1998
15 years 6 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
109
click to vote
WSC
1997
15 years 6 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
125
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
139
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...