Sciweavers

4636 search results - page 412 / 928
» Modelling and Validation with VipTool
Sort
View
CORR
2000
Springer
91views Education» more  CORR 2000»
15 years 6 months ago
Multi-Agent Only Knowing
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Joseph Y. Halpern, Gerhard Lakemeyer
CORR
2000
Springer
92views Education» more  CORR 2000»
15 years 6 months ago
Predicting the expected behavior of agents that learn about agents: the CLRI framework
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the ...
José M. Vidal, Edmund H. Durfee
SIGMETRICS
2000
ACM
111views Hardware» more  SIGMETRICS 2000»
15 years 6 months ago
AMVA techniques for high service time variability
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...
Derek L. Eager, Daniel J. Sorin, Mary K. Vernon
IJWIN
2002
166views more  IJWIN 2002»
15 years 6 months ago
QoS Routing for Mesh-Based Wireless LANs
Wireless LANs with their increased data rate become an attractive technology for connecting mobile users to the Internet. Efficient deployment of wireless LANs will require the ab...
Qi Xue, Aura Ganz
JCNS
2002
101views more  JCNS 2002»
15 years 6 months ago
Redundancy and Synergy Arising from Pairwise Correlations in Neuronal Ensembles
Multielectrode arrays allow recording of the activity of many single neurons, from which correlations can be calculated. The functional roles of correlations can be revealed by mea...
Michele Bezzi, Mathew E. Diamond, Alessandro Treve...