Sciweavers

3255 search results - page 516 / 651
» Combination of Abstractions in the ASTR
Sort
View
EFDBS
2003
13 years 11 months ago
Building platforms for information system interoperability - using a UML-based metamodeling approach
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...
ESANN
2003
13 years 11 months ago
Semi-automatic acquisition and labelling of image data using SOMs
Abstract. Application of neural networks for real world object recognition suffers from the need to acquire large quantities of labelled image data. We propose a solution that acq...
Gunther Heidemann, Axel Saalbach, Helge Ritter
NETWORKING
2004
13 years 11 months ago
A Case for Mesh-Tree-Interaction in End System Multicasting
Abstract. End System Multicasting (ESM) is fast becoming a feasible alternative to IP multicasting. ESM approaches can be broadly classified into two main categories: (i) Tree firs...
Anirban Chakrabarti, Govindarasu Manimaran
SFP
2004
13 years 11 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
SIMVIS
2004
13 years 11 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke