Sciweavers

3897 search results - page 516 / 780
» complexity 2010
Sort
View
IPSN
2010
Springer
15 years 8 months ago
Collaborative signal processing for action recognition in body sensor networks: a distributed classification algorithm using mot
Body sensor networks are emerging as a promising platform for remote human monitoring. With the aim of extracting bio-kinematic parameters from distributed body-worn sensors, thes...
Hassan Ghasemzadeh, Vitali Loseu, Roozbeh Jafari
ISSTA
2010
ACM
15 years 8 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
KDD
2010
ACM
223views Data Mining» more  KDD 2010»
15 years 8 months ago
An efficient algorithm for a class of fused lasso problems
The fused Lasso penalty enforces sparsity in both the coefficients and their successive differences, which is desirable for applications with features ordered in some meaningful w...
Jun Liu, Lei Yuan, Jieping Ye
PODC
2010
ACM
15 years 8 months ago
Brief announcement: revisiting the power-law degree distribution for social graph analysis
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...
Alessandra Sala, Haitao Zheng, Ben Y. Zhao, Sabrin...
ICISP
2010
Springer
15 years 8 months ago
Selecting Optimal Orientations of Gabor Wavelet Filters for Facial Image Analysis
Abstract. Gabor wavelet-based methods have been widely used to extract representative features for face analysis. However, the existing methods usually suffer from high computation...
Tianqi Zhang, Bao-Liang Lu