Sciweavers

2863 search results - page 127 / 573
» Constructing minimum-interference networks
Sort
View
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 8 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...
ISBI
2011
IEEE
14 years 5 months ago
Sparse topological data recovery in medical images
For medical image analysis, the test statistic of the measurements is usually constructed at every voxels in space and thresholded to determine the regions of significant signals...
Moo K. Chung, Hyekyoung Lee, Peter T. Kim, Jong Ch...
JMLR
2012
13 years 4 months ago
Krylov Subspace Descent for Deep Learning
In this paper, we propose a second order optimization method to learn models where both the dimensionality of the parameter space and the number of training samples is high. In ou...
Oriol Vinyals, Daniel Povey
EDBT
2012
ACM
216views Database» more  EDBT 2012»
13 years 4 months ago
Effectively indexing the multi-dimensional uncertain objects for range searching
The range searching problem is fundamental in a wide spectrum of applications such as radio frequency identification (RFID) networks, location based services (LBS), and global po...
Ying Zhang, Wenjie Zhang, Qianlu Lin, Xuemin Lin
IJCNN
2008
IEEE
15 years 8 months ago
Fully complex-valued radial basis function networks for orthogonal least squares regression
— We consider a fully complex-valued radial basis function (RBF) network for regression application. The locally regularised orthogonal least squares (LROLS) algorithm with the D...
Sheng Chen, Xia Hong, Chris J. Harris