Sciweavers

4250 search results - page 350 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ICIP
2007
IEEE
16 years 8 months ago
Analysis of the Decoding-Complexity of Compressed Image-Based Scene Representations
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
Ingo Bauermann, Eckehard G. Steinbach
CCGRID
2006
IEEE
16 years 26 days ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
BILDMED
2007
128views Algorithms» more  BILDMED 2007»
15 years 8 months ago
Network Snakes for the Segmentation of Adjacent Cells in Confocal Images
Network snakes constitute one of the latest advances in the research of image segmentation techniques: they integrate topology into active contour models. This concept is applied t...
Matthias Butenuth, Fritz Jetzek
ENTCS
2008
85views more  ENTCS 2008»
15 years 6 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp
RTSS
1993
IEEE
15 years 11 months ago
Object-Based Semantic Real-Time Concurrency Control
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
Lisa Cingiser DiPippo, Victor Fay Wolfe