Sciweavers

1461 search results - page 116 / 293
» On Regular Reduced Products
Sort
View
MOMM
2009
ACM
172views Communications» more  MOMM 2009»
14 years 1 months ago
Analysis of video streaming with SP and SI frames in UMTS mobile networks
In this paper we discuss possible benefits of transmitting SI frames as an error resilience tool in UMTS video streaming. SP and SI frames can be used to stop temporal error prop...
Luca Superiori, Markus Rupp, Wolfgang Karner
BIRTHDAY
1997
Springer
14 years 1 months ago
Controlled Fuzzy Parallel Rewriting
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
Peter R. J. Asveld
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
14 years 1 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
ASPDAC
2005
ACM
95views Hardware» more  ASPDAC 2005»
13 years 11 months ago
Buffering global interconnects in structured ASIC design
Structured ASICs present an attractive alternative to reducing design costs and turnaround times in nanometer designs. As with conventional ASICs, such designs require global wire...
Tianpei Zhang, Sachin S. Sapatnekar
DAGM
2006
Springer
13 years 11 months ago
Introducing Dynamic Prior Knowledge to Partially-Blurred Image Restoration
Abstract. The paper presents an unsupervised method for partiallyblurred image restoration without influencing unblurred regions or objects. Maximum a posteriori estimation of para...
Hongwei Zheng, Olaf Hellwich