4814 search results - page 309 / 963 » Combining abstract interpreters |
181
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
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...
148
click to vote
AIRS
2005
Springer
15 years 8 months ago
2005
Springer
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 ...
154
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
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...
163
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
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...
185
click to vote
IFIP3
2008
15 years 8 months ago
2008
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...