Sciweavers

1914 search results - page 334 / 383
» Abstract lambda-Calculus Machines
Sort
View
MFCS
2010
Springer
13 years 6 months ago
Robust Computations with Dynamical Systems
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
Olivier Bournez, Daniel S. Graça, Emmanuel ...
MICCAI
2010
Springer
13 years 6 months ago
Spatially Regularized SVM for the Detection of Brain Areas Associated with Stroke Outcome
Abstract. This paper introduces a new method to detect group differences in brain images based on spatially regularized support vector machines (SVM). First, we propose to spatial...
Rémi Cuingnet, Charlotte Rosso, Stép...
MICCAI
2010
Springer
13 years 6 months ago
Sparse Bayesian Learning for Identifying Imaging Biomarkers in AD Prediction
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...
Li Shen, Yuan Qi, Sungeun Kim, Kwangsik Nho, Jing ...
PERCOM
2010
ACM
13 years 6 months ago
Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms
Abstract—Bringing heterogeneous devices like industrial machines, home appliances, and wireless sensors into the Web assumes the usage of well-defined standards and protocols. O...
Oliver Dohndorf, Jan Krüger, Heiko Krumm, Chr...
PPSN
2010
Springer
13 years 6 months ago
Indirect Encoding of Neural Networks for Scalable Go
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
Jason Gauci, Kenneth O. Stanley