5550 search results - page 750 / 1110 » Different Approaches to Proof Systems |
216
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a method to improve the positive examples selection by teaching agents in a multi-agent system in which a team of agent peers teach concepts to a learning agen...
206
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
170
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...
173
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a novel resource binding technique for use in multiple-wordlength systems implemented in FPGAs. It is demonstrated that the multiple-wordlength binding problem...
239
click to vote
ICMI
2000
Springer
15 years 10 months ago
2000
Springer
Face detection is a key problem in human-computer interaction. In this paper, we present an algorithm for rotation invariant face detection in color images of cluttered scenes. It ...