984 search results - page 59 / 197 » ideas 2010 |
109
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
MA
2010
Springer
14 years 11 months ago
2010
Springer
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...
MFCS
2010
Springer
14 years 11 months ago
2010
Springer
Using ideas from persistent homology, the robustness of a level set of a real-valued function is defined in terms of the magnitude of the perturbation necessary to kill the classe...
MP
2010
14 years 11 months ago
2010
Combinatorial optimization games form an important subclass of cooperative games. In recent years, increased attention has been given to the issue of finding good cost shares for...
78
Voted
NA
2010
14 years 11 months ago
2010
In this paper, we first propose product Toeplitz preconditioners (in an inverse form) for non-Hermitian Toeplitz matrices generated by functions with zeros. Our inverse product-ty...