Sciweavers

3395 search results - page 263 / 679
» Computational Differential Privacy
Sort
View
FORMATS
2006
Springer
15 years 10 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider
IJON
2006
77views more  IJON 2006»
15 years 6 months ago
Synchronization effects using a piecewise linear map-based spiking-bursting neuron model
Models of neurons based on iterative maps allows the simulation of big networks of coupled neurons without loss of biophysical properties such as spiking, bursting or tonic bursti...
Carlos Aguirre, Doris Campos, Pedro Pascual, Eduar...
JMIV
2008
268views more  JMIV 2008»
15 years 6 months ago
A Fast Marching Method for the Area Based Affine Distance
In this paper we consider the problem of computing the area-based affine distance for a convex domain in the plane. Since this affine distance satisfies a non-homogeneous Monge-Amp...
Moacyr A. H. B. da Silva, Ralph Teixeira, Sin&eacu...
HCI
2009
15 years 4 months ago
On the Gap between Automated and In-Vivo Evaluations of Web Accessibility
In this paper we present an accessibility analysis framework for the specification of Web accessibility evaluation scenarios that differentiates the requirements of users with disa...
Rui Lopes, Luís Carriço
ICTAC
2009
Springer
15 years 4 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider