2168 search results - page 271 / 434 » Randomized Algorithms and Complexity Theory |
203
click to vote
CCS
2005
ACM
16 years 15 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
182
Voted
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. In an effort to preserve privacy, the practice of anon...
166
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
158
Voted
GECCO
2005
Springer
16 years 14 days ago
2005
Springer
We describe a generator for hierarchical problems called the Hierarchical Problem Generator (HPG). Hierarchical problems are of interest since they constitute a class of problems ...
194
Voted
COMPGEOM
2003
ACM
16 years 6 days ago
2003
ACM
We consider two variants of the well-known “sailor in the fog” puzzle. The first version (the “asteroid surveying” problem) is set in three dimensions and asks for the sh...