10916 search results - page 314 / 2184 » On Constructive Connectives and Systems |
178
click to vote
MCS
2010
Springer
15 years 5 months ago
2010
Springer
Many different constructions for (t, m, s)-nets and (t, s)-sequences are known today. Propagation rules as well as connections to other mathematical objects make it difficult to ...
147
click to vote
ICCBR
2005
Springer
16 years 10 days ago
2005
Springer
Tutoring systems have been a popular domain for CBR since its very beginning. In this paper we draw a connection between casebased teaching and learning-by-doing approach to tutori...
161
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we show how imposing an organization (topology and search mechanism) on agents in a peerto-peer network can improve system performance. The organizational structure ...
161
click to vote
SIGIR
2003
ACM
16 years 2 days ago
2003
ACM
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
150
click to vote
USENIX
2004
15 years 8 months ago
2004
This paper evaluates techniques for improving the performance of three architecturally different web servers. We study strategies for effectively accepting incoming connections un...