Sciweavers

12825 search results - page 2240 / 2565
» Improved PLSOM algorithm
Sort
View
PPOPP
1993
ACM
15 years 10 months ago
Experience with Fine-Grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient
This paper discusses our experience with fine-grain synchronization for a variant of the preconditioned conjugate gradient method. This algorithm represents a large class of algo...
Donald Yeung, Anant Agarwal
SIGSOFT
1994
ACM
15 years 10 months ago
Data Flow Analysis for Verifying Properties of Concurrent Programs
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
Matthew B. Dwyer, Lori A. Clarke
APPROX
2007
Springer
86views Algorithms» more  APPROX 2007»
15 years 10 months ago
Lower Bounds for Swapping Arthur and Merlin
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
Scott Diehl
AUSAI
2009
Springer
15 years 10 months ago
Classification of EEG for Affect Recognition: An Adaptive Approach
Research on affective computing is growing rapidly and new applications are being developed more frequently. They use information about the affective/mental states of users to adap...
Omar AlZoubi, Rafael A. Calvo, Ronald H. Stevens
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
15 years 10 months ago
The entropy penalized minimum energy estimator
This paper addresses the state estimation problem of nonlinear systems. We formulate the problem using a minimum energy estimator (MEE) approach and propose an entropy penalized sc...
Sergio Daniel Pequito, A. Pedro Aguiar, Diogo A. G...
« Prev « First page 2240 / 2565 Last » Next »