15033 search results - page 220 / 3007 » Complexity Theory and Algorithms |
167
click to vote
CCS
2005
ACM
15 years 10 months 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...
136
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Multi-agent learning is a crucial method to control or find solutions for systems, in which more than one entity needs to be adaptive. In today's interconnected world, such s...
251
click to vote
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
151
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper presents a method for the reconstruction of a regularlysampled image from its irregularly-spaced samples. Such reconstruction is often needed in image processing and co...
123
click to vote
BPM
2009
Springer
15 years 11 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...