Sciweavers

19003 search results - page 239 / 3801
» We Need Assurance
Sort
View
GCSE
2000
Springer
15 years 10 months ago
The Theory and Practice of Adaptive Components
It is well known that modifying software by hand, especially someone else's, is not only slow and tedious but so notoriously error-prone that we strive for components that ne...
Paul Bassett
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
Persistent Queries
act state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are neede...
Andreas Blass, Yuri Gurevich
FSS
2006
82views more  FSS 2006»
15 years 6 months ago
From fuzzy logic to fuzzy mathematics: A methodological manifesto
The paper states the problem of fragmentation of contemporary fuzzy mathematics and the need of a unified methodology and formalism. We formulate several guidelines based on H
Libor Behounek, Petr Cintula
DM
2000
91views more  DM 2000»
15 years 6 months ago
Perfection thickness of graphs
We determine the order of growth of the worst-case number of perfect subgraphs needed to cover an n-vertex graph.
Hirotsugu Asari, Tao Jiang, André Künd...
ICML
2006
IEEE
16 years 7 months ago
An investigation of computational and informational limits in Gaussian mixture clustering
We investigate under what conditions clustering by learning a mixture of spherical Gaussians is (a) computationally tractable; and (b) statistically possible. We show that using p...
Nathan Srebro, Gregory Shakhnarovich, Sam T. Rowei...