Sciweavers

3406 search results - page 49 / 682
» Computational models of classical conditioning
Sort
View
PARA
2004
Springer
14 years 2 months ago
Performance of Taylor Model Methods for Validated Integration of ODEs
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...
Martin Berz, Kyoko Makino
STOC
2001
ACM
147views Algorithms» more  STOC 2001»
14 years 9 months ago
Conditions on input vectors for consensus solvability in asynchronous distributed systems
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
Achour Mostéfaoui, Michel Raynal, Sergio Ra...
ISLPED
2003
ACM
95views Hardware» more  ISLPED 2003»
14 years 1 months ago
Power-aware scheduling of conditional task graphs in real-time multiprocessor systems
We propose a novel power-aware task scheduling algorithm for DVS-enabled real-time multiprocessor systems. Unlike the existing algorithms, the proposed DVS algorithm can handle co...
Dongkun Shin, Jihong Kim
CONCUR
2010
Springer
13 years 9 months ago
Obliging Games
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
Krishnendu Chatterjee, Florian Horn, Christof L&ou...
ICASSP
2011
IEEE
13 years 12 days ago
An extension of the ICA model using latent variables
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
Selwa Rafi, Marc Castella, Wojciech Pieczynski