Sciweavers

2903 search results - page 346 / 581
» On the univalence of an integral operator
Sort
View
AAAI
1996
15 years 8 months ago
Intelligent Retail Logistics Scheduling
The Supply Chain Integrated Ordering Network (SCION) Depot Bookings system automates the planning and scheduling of perishable and non-perishable commodities and the vehicles that...
John Rowe, Keith Jewers, Andrew Codd, Andrew Alcoc...
AIPS
1994
15 years 8 months ago
Managing Dynamic Temporal Constraint Networks
This paper concerns the specialization of arcconsistency algorithms for constraint satisfaction in the management of quantitative temporal constraint networks. Attention is devote...
Roberto Cervoni, Amedeo Cesta, Angelo Oddi
WSC
1994
15 years 8 months ago
CSIM17: a simulation model-building toolkit
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
Herbert D. Schwetman
ATAL
2009
Springer
15 years 8 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
ATAL
2010
Springer
15 years 8 months ago
AgentC: agent-based testbed for adversarial modeling and reasoning in the maritime domain
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
Michal Jakob, Ondrej Vanek, Stepán Urban, P...