3552 search results - page 493 / 711 » Proof theory in the abstract |
160
click to vote
MMM
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In this paper, we propose an automatic home video skimming system based on media aesthetics. Unlike other similar works, the proposed system considers video editing theor...
205
click to vote
EUSAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
160
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
186
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
182
click to vote
P2P
2005
IEEE
16 years 5 days ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...