Sciweavers

3233 search results - page 176 / 647
» Validation Method for Intelligent Systems
Sort
View
ATAL
2005
Springer
15 years 9 months ago
MAGENTA technology: multi-agent systems for industrial logistics
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
Jonathan Himoff, Petr Skobelev, Michael Wooldridge
116
Voted
CEC
2007
IEEE
15 years 7 months ago
Double-deck elevator systems using Genetic Network Programming with reinforcement learning
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
Jin Zhou, Lu Yu, Shingo Mabu, Kotaro Hirasawa, Jin...
ICISS
2009
Springer
15 years 10 months ago
Remote Electronic Voting with Revocable Anonymity
We present a new remote, coercion-free electronic voting protocol which satisfies a number of properties previously considered contradictory. We introduce (and justify) the idea ...
Matt Smart, Eike Ritter
152
Voted
ATAL
2009
Springer
15 years 4 months ago
Building Multi-Agent Systems for Workflow Enactment and Exception Handling
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...
Joey Sik Chun Lam, Frank Guerin, Wamberto Weber Va...
IAT
2009
IEEE
15 years 10 months ago
How Do Agents Comply with Norms?
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
Guido Governatori, Antonino Rotolo