Sciweavers

1919 search results - page 126 / 384
» Recent Extensions to Traviando
Sort
View
KI
2007
Springer
15 years 10 months ago
Relational Neural Gas
Abstract. Prototype-based clustering algorithms such as the Self Organizing Map (SOM) or Neural Gas (NG) offer powerful tools for automated data inspection. The distribution of pr...
Barbara Hammer, Alexander Hasenfuss
LADS
2007
Springer
15 years 10 months ago
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
Iman Badr, Hisham Mubarak, Peter Göhner
LPAR
2007
Springer
15 years 10 months ago
Permutative Additives and Exponentials
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
Gabriele Pulcini
PVM
2007
Springer
15 years 10 months ago
Optimization of Collective Communications in HeteroMPI
Abstract. HeteroMPI is an extension of MPI designed for high performance computing on heterogeneous networks of computers. The recent new feature of HeteroMPI is the optimized vers...
Alexey L. Lastovetsky, Maureen O'Flynn, Vladimir R...
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 10 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer