Sciweavers

793 search results - page 94 / 159
» Input Modeling Tools for Complex Problems
Sort
View
ICANN
2009
Springer
15 years 4 months ago
Computing with Probabilistic Cellular Automata
Abstract. We investigate the computational capabilities of probabilistic cellular automata by means of the density classification problem. We find that a specific probabilistic ...
Martin Schüle, Thomas Ott, Ruedi Stoop
PVLDB
2008
89views more  PVLDB 2008»
14 years 11 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri
HUMO
2007
Springer
15 years 6 months ago
Nonparametric Density Estimation with Adaptive, Anisotropic Kernels for Human Motion Tracking
In this paper, we suggest to model priors on human motion by means of nonparametric kernel densities. Kernel densities avoid assumptions on the shape of the underlying distribution...
Thomas Brox, Bodo Rosenhahn, Daniel Cremers, Hans-...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
13 years 7 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
COMPGEOM
2009
ACM
15 years 6 months ago
On the topology of planar algebraic curves
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
Jinsan Cheng, Sylvain Lazard, Luis Mariano Pe&ntil...