Sciweavers

4674 search results - page 406 / 935
» cases 2008
Sort
View
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 7 months ago
On the Growth Rate of the Weight Distribution of Irregular Doubly-Generalized LDPC Codes
In this paper, an expression for the asymptotic growth rate of the number of small linear-weight codewords of irregular doubly-generalized LDPC (D-GLDPC) codes is derived. The expr...
Mark F. Flanagan, Enrico Paolini, Marco Chiani, Ma...
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
16 years 1 months ago
PicNIc - Pi-calculus non-interference checker
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
16 years 1 months ago
Particle filtering using multiple cross-correlations for tracking occluded objects in cluttered scenes
— This paper is concerned with the tracking of partially or entirely occluded objects in a video sequence. We propose certain modifications to the template matching approach, whi...
Arie Nakhmani, Allen Tannenbaum
CSMR
2008
IEEE
16 years 1 months ago
Towards Recovering Architectural Concepts Using Latent Semantic Indexing
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
Pieter van der Spek, Steven Klusener, Piërre ...
ICTAI
2008
IEEE
16 years 1 months ago
Ensemble Learning of Regional Classifiers
We present a new ensemble learning method that employs a set of regional classifiers, each of which learns to handle a subset of the training data. We split the training data and ...
Byungwoo Lee, Yong-chan Na, Byonghwa Oh, Jihoon Ya...