4814 search results - page 311 / 963 » Combining abstract interpreters |
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract - This short paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literatu...
148
click to vote
ECCC
2007
15 years 6 months ago
2007
Abstract. Combining classical approximability questions with parameterized complexity, we introduce a theory of parameterized approximability. The main intention of this theory is ...
171
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--Practical applications call for efficient model selection criteria for multiclass support vector machine (SVM) classification. To solve this problem, this paper develops ...
117
click to vote
AMC
2004
15 years 6 months ago
2004
Abstract. The purpose of this paper is to introduce and study some sequence spaces which are defined by combining the concepts of lacunary convergence, invariant mean and the seque...
189
click to vote
RITA
2000
15 years 6 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...