2801 search results - page 9 / 561 » On the Adequateness of the Connection Method |
FAC
2007
13 years 7 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
LOPSTR
1995
Springer
13 years 11 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
AUSAI
2004
Springer
14 years 29 days ago
2004
Springer
We present here an original work that uses machine learning techniques to combine time series forecasts. In this proposal, a machine learning technique uses features of the series ...