2210 search results - page 195 / 442 » CLEF 2001 - Overview of Results |
164
click to vote
ASP
2001
Springer
15 years 10 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
154
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
152
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
We present a simple model of distributed multi-agent multi-issued contract negotiation for open systems where interactions are competitive and information is private and not shared...
168
click to vote
AUSAI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Wrappers have recently been used to obtain parameter optimizations for learning algorithms. In this paper we investigate the use of a wrapper for estimating the correct n...
174
click to vote
AVBPA
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents a model-based approach which efficiently retrieves correct hypotheses using properties of triangles formed by the triplets of minutiae as the basic re...