9697 search results - page 1603 / 1940 » Intelligent Transportation Systems |
221
click to vote
AMKM
2003
Springer
16 years 20 hour ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
234
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
203
Voted
APN
1992
Springer
15 years 11 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
225
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
147
click to vote
DAI
1995
Springer
15 years 10 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...