Sciweavers

1016 search results - page 168 / 204
» Linear error-block codes
Sort
View
NIPS
2008
13 years 9 months ago
The Conjoint Effect of Divisive Normalization and Orientation Selectivity on Redundancy Reduction
Bandpass filtering, orientation selectivity, and contrast gain control are prominent features of sensory coding at the level of V1 simple cells. While the effect of bandpass filte...
Fabian H. Sinz, Matthias Bethge
PTS
2008
109views Hardware» more  PTS 2008»
13 years 9 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
VCIP
2001
113views Communications» more  VCIP 2001»
13 years 9 months ago
Novel sequential error concealment techniques using orientation adaptive interpolation
This paper introduces a new framework for error concealment in block-based image coding systems: sequential recovery. Unlike previous approaches that simultaneously recover the pix...
Xin Li, Michael T. Orchard
PTS
1998
81views Hardware» more  PTS 1998»
13 years 9 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
DAGSTUHL
1996
13 years 9 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson