Sciweavers

1975 search results - page 148 / 395
» Property analysis and design understanding
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
Curvature analysis of pattern transformation manifolds
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
Elif Vural, Pascal Frossard
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
16 years 1 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
DAGM
2007
Springer
16 years 27 days ago
Selection of Local Optical Flow Models by Means of Residual Analysis
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
Björn Andres, Fred A. Hamprecht, Christoph S....
TGC
2005
Springer
16 years 6 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
BIOADIT
2004
Springer
16 years 4 days ago
Distributed Central Pattern Generator Model for Robotics Application Based on Phase Sensitivity Analysis
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
Jonas Buchli, Auke Jan Ijspeert