Sciweavers

1146 search results - page 129 / 230
» Applications of the TAMPR Transformation System
Sort
View
134
Voted
CLEIEJ
2002
192views more  CLEIEJ 2002»
15 years 4 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
IRI
2006
IEEE
15 years 10 months ago
T2K2: A type II KASER
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...
Stuart Harvey Rubin, Shu-Ching Chen, James B. Law
TRECVID
2008
15 years 6 months ago
The Orange Labs Real Time Video Copy Detection System - TrecVid 2008 Results
In this paper, we describe the content-based video copy detection system developed at Orange Labs. We also present the evaluation results of the TrecVid 2008 copy detection evalua...
Nicolas Gengembre, Sid-Ahmed Berrani
FOSSACS
2008
Springer
15 years 6 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
FPL
2008
Springer
119views Hardware» more  FPL 2008»
15 years 6 months ago
Polymorphic wavelet architectures using reconfigurable hardware
Traditional microprocessor-based solutions are insufficient to serve the dynamic throughput demands of real-time scalable multimedia processing systems. This paper introduces a Po...
Amit Pande, Joseph Zambreno