Sciweavers

2450 search results - page 31 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
130
Voted
ICIP
1997
IEEE
16 years 5 months ago
Bit Allocation Methods for Closed-Loop Coding of Oversampled Pyramid Decompositions
Oversampled pyramid decompositions have been successfully applied to scalable video coding. Quantization noise feedback at the encoder closed-loop coding" has several advant...
Uwe Horn, Thomas Wiegand, Bernd Girod
ANSS
2006
IEEE
15 years 9 months ago
Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective
This paper explores how the dynamics of complex biological processes can be modelled and simulated as an organisation of multiple agents. This modelling perspective identifies org...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
166
Voted
IJNS
2000
130views more  IJNS 2000»
15 years 3 months ago
A Programmable VLSI Filter Architecture for Application in Real-Time Vision Processing Systems
An architecture is proposed for the realization of real-time edge-extraction filtering operation in an Address-Event-Representation (AER) vision system. Furthermore, the approach ...
Teresa Serrano-Gotarredona, Andreas G. Andreou, Be...
153
Voted
FAC
2008
117views more  FAC 2008»
15 years 3 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
101
Voted
ENTCS
2007
116views more  ENTCS 2007»
15 years 3 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari