282 search results - page 8 / 57 » Jumping Contexts of Space and Time |
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
We present a method for discovering patterns of activation observed through fMRI in experiments with multiple stimuli/tasks. We introduce an explicit parameterization for the profi...
CSDA
2006
13 years 7 months ago
2006
We explore a periodic analysis in the context of unobserved components time series models that decompose time series into components of interest such as trend, seasonal and irregu...
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
14 years 2 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
ANTSW
2008
Springer
13 years 9 months ago
2008
Springer
An adaptive particle swarm optimization (APSO) that features better search efficiency than classical particle swarm optimization (PSO) is presented. More importantly, it can perfor...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we propose a novel algorithm to detect/compensate online interference effects when integrating Global Navigation Satellite System (GNSS) and Inertial Navigation Sys...