1520 search results - page 189 / 304 » Class Hierarchy Specialization |
ENTCS
2002
13 years 7 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
NN
2000
Springer
13 years 7 months ago
2000
Springer
Support vector (SV) machines are useful tools to classify populations characterized by abrupt decreases in density functions. At least for one class of Gaussian data model the SV ...
COMSUR
2008
13 years 7 months ago
2008
This paper surveys research in service advertising, discovery and selection for mobile ad hoc networks (MANETs) and related issues. We include a categorization of service discovery...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...
JC
2010
13 years 6 months ago
2010
We present a new general class of methods for the computation of high-dimensional integrals. The quadrature schemes result by truncation and discretization of the anchored-ANOVA d...