2643 search results - page 283 / 529 » Higher order messaging |
181
click to vote
TOCL
2008
15 years 6 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
194
click to vote
TWC
2008
15 years 6 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
196
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Lexical resources such as WordNet and the EDR electronic dictionary (EDR) have been used in several NLP tasks. Probably partly due to the fact that the EDR is not freely available...
223
click to vote
CGF
2000
15 years 6 months ago
2000
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since a complete mental model based on vision...
179
click to vote
ENTCS
2002
15 years 6 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...