15375 search results - page 86 / 3075 » cans 2008 |
SOFTWARE
2002
13 years 7 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
STVR
2002
13 years 7 months ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
TIP
2002
13 years 7 months ago
2002
In this paper, we present a general framework for image restoration; despite its simplicity, certain variational and certain wavelet approaches can be formulated within this framew...
AUTOMATICA
2008
2008
Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions
13 years 6 months ago
Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admi...
CPC
2008
13 years 6 months ago
2008
Abstract. Zeilberger's enumeration schemes can be used to completely automate the enumeration of many permutation classes. We extend his enumeration schemes so that they apply...