Sciweavers

369 search results - page 38 / 74
» A Framework for Coping with Process Evolution
Sort
View
140
Voted
TIP
2010
108views more  TIP 2010»
15 years 1 months ago
Image Reconstruction Using Particle Filters and Multiple Hypotheses Testing
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
Noura Azzabou, Nikos Paragios, Frederic Guichard
140
Voted
FPL
2005
Springer
226views Hardware» more  FPL 2005»
15 years 9 months ago
A Parallel MPEG-4 Encoder for FPGA Based Multiprocessor SoC
A parallel MPEG-4 Simple Profile encoder for FPGA based multiprocessor System-on-Chip (SOC) is presented. The goal is a computationally scalable framework independent of platform....
Olli Lehtoranta, Erno Salminen, Ari Kulmala, Marko...
118
Voted
IWFM
2003
15 years 4 months ago
Using Admissible Interference to Detect Denial of Service Vulnerabilities
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
Stéphane Lafrance, John Mullins
141
Voted
JUCS
2006
131views more  JUCS 2006»
15 years 3 months ago
Verification of CRWL Programs with Rewriting Logic
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
José Miguel Cleva, Isabel Pita
135
Voted
IJCV
2006
165views more  IJCV 2006»
15 years 3 months ago
A Riemannian Framework for Tensor Computing
Tensors are nowadays a common source of geometric information. In this paper, we propose to endow the tensor space with an affine-invariant Riemannian metric. We demonstrate that ...
Xavier Pennec, Pierre Fillard, Nicholas Ayache