3 search results - page 1 / 1 » Three optimizations for Assume-Guarantee reasoning with L* |
FMSD
2008
13 years 4 months ago
2008
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
AAAI
2010
13 years 1 months ago
2010
Dimensionality reduction plays an important role in many machine learning and pattern recognition tasks. In this paper, we present a novel dimensionality reduction algorithm calle...