Sciweavers

4814 search results - page 309 / 963
» Combining abstract interpreters
Sort
View
APN
2008
Springer
15 years 8 months ago
A Monitoring Toolset for Paose
Abstract Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petr...
Lawrence Cabac, Till Dörges, Heiko Rölke
AIRS
2005
Springer
15 years 8 months ago
Fuzzy Post-clustering Algorithm for Web Search Engine
Abstract. We propose a new clustering algorithm satisfying requirements for the post-clustering algorithms as many as possible. The proposed “Fuzzy Concept ART” is the form of ...
Younghee Im, Jiyoung Song, Daihee Park
CONCUR
2008
Springer
15 years 8 months ago
Mixing Lossy and Perfect Fifo Channels
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...
Pierre Chambart, Ph. Schnoebelen
ECIR
2007
Springer
15 years 8 months ago
Term Selection and Query Operations for Video Retrieval
Abstract. We investigate the influence of term selection and query operations on the text retrieval component of video search. Our main finding is that the greatest gain is to be...
Bouke Huurnink, Maarten de Rijke
IFIP3
2008
118views Education» more  IFIP3 2008»
15 years 8 months ago
Learning with Smart Multipurpose Interactive Learning Environment
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...
Mária Bieliková, Marko Divéky...