Sciweavers

12825 search results - page 2240 / 2565
» Improved PLSOM algorithm
Sort
View
PPOPP
1993
ACM
15 years 9 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
138
Voted
SIGSOFT
1994
ACM
15 years 9 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 8 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 8 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
152
Voted
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
15 years 8 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 »