2841 search results - page 112 / 569 » A Call to Order |
CONCURRENCY
2007
14 years 10 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
JMIV
2008
14 years 10 months ago
2008
We introduce a practical and improved version of the Polyharmonic Local Sine transform (PHLST) called PHLST5. After partitioning an input image into a set of rectangular blocks, t...
INFORMATICALT
2007
14 years 10 months ago
2007
In this paper we propose a modified framework of support vector machines, called Oblique Support Vector Machines(OSVMs), to improve the capability of classification. The principl...
IPL
2007
14 years 10 months ago
2007
For a given connected graph G of order n, a routing R in G is a set of n(n − 1) elementary paths specified for every ordered pair of vertices in G. The vertex (resp. edge) forw...
AML
2000
14 years 9 months ago
2000
In 1990 J-L. Krivine introduced the notion of storage operators. They are -terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modeliz...