Sciweavers

1874 search results - page 200 / 375
» Abstract Machine for LDL
Sort
View
128
Voted
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 9 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
ECML
2005
Springer
15 years 9 months ago
A Distance-Based Approach for Action Recommendation
Abstract. Rule induction has attracted a great deal of attention in Machine Learning and Data Mining. However, generating rules is not an end in itself because their applicability ...
Ronan Trepos, Ansaf Salleb, Marie-Odile Cordier, V...
131
Voted
SC
2004
ACM
15 years 9 months ago
A High Performance Java Middleware with a Real Application
Previous experiments with high-performance Java were initially disappointing. After several years of optimization, this paper investigates the current suitability of such object-o...
Fabrice Huet, Denis Caromel, Henri E. Bal
96
Voted
DSMML
2004
Springer
15 years 9 months ago
Multi Channel Sequence Processing
Abstract. This paper summarizes some of the current research challenges arising from multi-channel sequence processing. Indeed, multiple real life applications involve simultaneous...
Samy Bengio, Hervé Bourlard
119
Voted
DSMML
2004
Springer
15 years 9 months ago
SVM Based Learning System for Information Extraction
Abstract. We present an SVM-based learning algorithm for information extraction, including experiments on the influence of different algorithm settings. Our approach needs fewer ...
Yaoyong Li, Kalina Bontcheva, Hamish Cunningham