4502 search results - page 538 / 901 » Regular Model Checking |
161
click to vote
ALIFE
2004
15 years 6 months ago
2004
Turn-taking behavior is simulated in a coupled-agents system. Each agent is modeled as a mobile robot with two wheels. A recurrent neural network is used to produce the motor outpu...
195
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper deals with the reconstruction of T1-T2 correlation spectra in Nuclear Magnetic Resonance (NMR) spectroscopy. The ill-posed character of this inverse problem and its lar...
216
click to vote
JMLR
2010
15 years 5 months ago
2010
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...
193
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
The high dimensionality of functional magnetic resonance imaging (fMRI) data presents major challenges to fMRI pattern classification. Directly applying standard classifiers often ...
154
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by m...