Sciweavers

1870 search results - page 174 / 374
» Abstract And-Parallel Machines
Sort
View
EUROPAR
2008
Springer
15 years 14 days ago
Complementarity between Virtualization and Single System Image Technologies
Nowadays, the use of clusters in research centers or industries is undeniable. Since few years, the usage of virtual machines (VM) offers more advanced resource management capabili...
Jérôme Gallard, Geoffroy Vallé...
MCU
2004
59views Hardware» more  MCU 2004»
15 years 2 days ago
On the Complexity of Universal Programs
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...
Alain Colmerauer
NIPS
2001
15 years 2 days ago
Online Learning with Kernels
Abstract--Kernel-based algorithms such as support vector machines have achieved considerable success in various problems in batch setting, where all of the training data is availab...
Jyrki Kivinen, Alex J. Smola, Robert C. Williamson
MLDM
2008
Springer
14 years 10 months ago
Classification Based on Consistent Itemset Rules
Abstract. We propose an approach to build a classifier composing consistent (100% confident) rules. Recently, associative classifiers that utilize association rules have been widel...
Yohji Shidara, Mineichi Kudo, Atsuyoshi Nakamura
KBSE
2008
IEEE
15 years 5 months ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov