Sciweavers

3443 search results - page 174 / 689
» More Algebras for Determiners
Sort
View
CORR
2011
Springer
177views Education» more  CORR 2011»
13 years 2 months ago
Gossip PCA
Eigenvectors of data matrices play an important role in many computational problems, ranging from signal processing to machine learning and control. For instance, algorithms that ...
Satish Babu Korada, Andrea Montanari, Sewoong Oh
CDC
2010
IEEE
172views Control Systems» more  CDC 2010»
13 years 2 months ago
Electrical centrality measures for electric power grid vulnerability analysis
— This paper investigates measures of centrality that are applicable to power grids. Centrality measures are used in network science to rank the relative importance of nodes and ...
Zhifang Wang, Anna Scaglione, Robert J. Thomas
POPL
2012
ACM
12 years 6 months ago
Syntactic control of interference for separation logic
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
Uday S. Reddy, John C. Reynolds
ICASSP
2009
IEEE
14 years 5 months ago
A semi-supervised learning approach to online audio background detection
We present a framework for audio background modeling of complex and unstructured audio environments. The determination of background audio is important for understanding and predi...
Selina Chu, Shrikanth S. Narayanan, C.-C. Jay Kuo
SSDBM
2009
IEEE
116views Database» more  SSDBM 2009»
14 years 5 months ago
Constraint-Based Learning of Distance Functions for Object Trajectories
Abstract. With the drastic increase of object trajectory data, the analysis and exploration of trajectories has become a major research focus with many applications. In particular,...
Wei Yu, Michael Gertz