Sciweavers

4280 search results - page 486 / 856
» Mechanisms for information elicitation
Sort
View
AMAST
2004
Springer
16 years 8 days ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
196
Voted
ASIASIM
2004
Springer
16 years 8 days ago
A Scalable, Ordered Scenario-Based Network Security Simulator
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
Joo Beom Yun, Eung Ki Park, Eul-Gyu Im, Hoh Peter ...
190
Voted
CAISE
2004
Springer
16 years 8 days ago
Design and Implementation of the YAWL System
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
Wil M. P. van der Aalst, Lachlan Aldred, Marlon Du...
164
Voted
DAGM
2004
Springer
16 years 7 days ago
Adaptive Feature Selection in Image Segmentation
Most image segmentation algorithms optimize some mathematical similarity criterion derived from several low-level image features. One possible way of combining different types of f...
Volker Roth, Tilman Lange
149
Voted
ECAI
2004
Springer
16 years 7 days ago
Attention-Driven Parts-Based Object Detection
Recent studies have argued that natural vision systems perform classification by utilizing different mechanisms depending on the visual input. In this paper we present a hybrid, ...
Ilkka Autio, Jussi T. Lindgren