Sciweavers

1412 search results - page 207 / 283
» types 2004
Sort
View
PET
2004
Springer
15 years 11 months ago
Reputable Mix Networks
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
Philippe Golle
PPDP
2004
Springer
15 years 11 months ago
Adventures in interoperability: the SML.NET experience
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
Nick Benton, Andrew Kennedy, Claudio V. Russo
PPSN
2004
Springer
15 years 11 months ago
SPEA2+: Improving the Performance of the Strength Pareto Evolutionary Algorithm 2
Multi-objective optimization methods are essential to resolve real-world problems as most involve several types of objects. Several multi-objective genetic algorithms have been pro...
Mifa Kim, Tomoyuki Hiroyasu, Mitsunori Miki, Shiny...
PRIMA
2004
Springer
15 years 11 months ago
Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
Reiko Hishiyama, Toru Ishida
PROMAS
2004
Springer
15 years 11 months ago
Goal Representation for BDI Agent Systems
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
Lars Braubach, Alexander Pokahr, Daniel Moldt, Win...