26 search results - page 3 / 6 » Structuring Real-Time Object-Z Specifications |
ELPUB
2006
ACM
13 years 11 months ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...
DAGSTUHL
2004
13 years 7 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
VISUALIZATION
2003
IEEE
13 years 11 months ago
2003
IEEE
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept o...
ISMIR
2005
Springer
13 years 11 months ago
2005
Springer
This paper describes a fast audio detection method for specific audio retrieval in the AV stream. The method is a histogram matching algorithm based on structural and perceptual f...
ISCAS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...