1624 search results - page 189 / 325 » Fairness in multi-agent systems |
148
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
145
Voted
FLAIRS
2001
15 years 8 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
144
Voted
ESANN
2000
15 years 8 months ago
2000
In modelling the development of the oculomotor control system using neural networks, it is important to determine the appropriate cost function on which to train the models. Whilst...
155
click to vote
IMCSIT
2010
15 years 1 months ago
2010
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...
199
Voted
EEE
2005
IEEE
16 years 18 days ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...