Sciweavers

2079 search results - page 216 / 416
» Quantifying Information Flow
Sort
View
ENTCS
2008
96views more  ENTCS 2008»
13 years 9 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
IANDC
2006
82views more  IANDC 2006»
13 years 9 months ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
JCC
2008
117views more  JCC 2008»
13 years 9 months ago
Prediction of protein structural class using novel evolutionary collocation-based sequence representation
: Knowledge of structural classes is useful in understanding of folding patterns in proteins. Although existing structural class prediction methods applied virtually all state-of-t...
Ke Chen 0003, Lukasz A. Kurgan, Jishou Ruan
IJCV
2007
140views more  IJCV 2007»
13 years 9 months ago
Background-Subtraction in Thermal Imagery Using Contour Saliency
We present a new contour-based background-subtraction technique to extract foreground objects in widely varying thermal imagery. Statistical background-subtraction is first used t...
James W. Davis, Vinay Sharma
TSP
2008
77views more  TSP 2008»
13 years 9 months ago
Soft-Decision Metrics for Coded Orthogonal Signaling in Symmetric Alpha-Stable Noise
This paper derives new soft-decision metrics for coded orthogonal signaling in impulsive noise, more specifically symmetric -stable noise. For the case of a known channel amplitude...
Michael R. Souryal, Erik G. Larsson, Bojan Peric, ...