Sciweavers

3395 search results - page 362 / 679
» Computational Differential Privacy
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
ICIP
2010
IEEE
15 years 4 months ago
OmniSIFT: Scale invariant features in omnidirectional images
We propose a method to compute scale invariant features in omnidirectional images. We present a formulation based on Riemannian geometry for the definition of differential operato...
Zafer Arican, Pascal Frossard
IEAAIE
2010
Springer
15 years 4 months ago
Modelling Greed of Agents in Economical Context
Abstract. A classical debate in economics addresses the advantages and drawbacks of modelling from a macroeconomics perspective as opposed to modelling from a microeconomics perspe...
Tibor Bosse, Ghazanfar F. Siddiqui, Jan Treur
SCP
2011
341views Communications» more  SCP 2011»
15 years 1 months ago
A generic topology library
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
René Heinzl, Philipp Schwaha
177
Voted
TIP
2010
137views more  TIP 2010»
15 years 1 months ago
Adaptive Langevin Sampler for Separation of t-Distribution Modelled Astrophysical Maps
We propose to model the image differentials of astrophysical source maps by Student's t-distribution and to use them in the Bayesian source separation method as priors. We int...
Koray Kayabol, Ercan E. Kuruoglu, José Luis...