1892 search results - page 293 / 379 » Warren's Abstract Machine |
HIPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
IBERAMIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we investigate the way of improving the performance of a Named Entity Extraction (NEE) system by applying machine learning techniques and corpus transformat...
ICAISC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The support vector machine (SVM) constitutes one of the most successful current learning algorithms with excellent classification accuracy in large real-life problems an...
IDEAL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...