68 search results - page 2 / 14 » Grounding with Bounds |
JNS
2010
13 years 3 days ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
ICML
2003
IEEE
14 years 6 months ago
2003
IEEE
We analyze the formal grounding behind Negative Correlation (NC) Learning, an ensemble learning technique developed in the evolutionary computation literature. We show that by rem...
STTT
2008
13 years 5 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We study simulation relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. T...
TIP
2011
13 years 8 days ago
2011
—Recently, in a previous work, we proposed a way to bound how well any given image can be denoised. The bound was computed directly from the noise-free image that was assumed to ...