3006 search results - page 116 / 602 » Overview |
112
Voted
TRUSTBUS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
168
click to vote
MACE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
118
click to vote
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
We address the question of recognizing handwritten mathematics in Arabic and related languages. After presenting an overview of the major styles used to express mathematics in the...
159
click to vote
CAI
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
146
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...