696 search results - page 130 / 140 » Explaining abstract counterexamples |
MLMI
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. The AMI Meeting Corpus is a multi-modal data set consisting of 100 hours of meeting recordings. It is being created in the context of a project that is developing meeting...
PAM
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Round trip times (RTTs) play an important role in Internet measurements. In this paper, we explore some of the ways in which routing policies impact RTTs. In particular, ...
UML
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
ICWE
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...