1722 search results - page 176 / 345 » Dedication |
111
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
100
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
108
click to vote
CEEMAS
2007
Springer
15 years 7 months ago
2007
Springer
We present a multi-agent system designed to detect malicious traffic in high-speed networks. In order to match the performance requirements related to the traffic volume, the net...
150
click to vote
CEFP
2007
Springer
15 years 7 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
113
click to vote
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...