Sciweavers

1806 search results - page 151 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
JITT
2011
177views more  JITT 2011»
15 years 1 months ago
Mobile Recommender Systems
Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for lei...
Francesco Ricci
TC
2011
15 years 1 months ago
Complexity of Data Collection, Aggregation, and Selection for Wireless Sensor Networks
— Processing the gathered information efficiently is a key functionality for wireless sensor networks. In this article, we study the time complexity, message complexity (number ...
Xiang-Yang Li, Yajun Wang, Yu Wang
TRANSCI
2011
80views more  TRANSCI 2011»
15 years 1 months ago
The Dynamic Uncapacitated Hub Location Problem
This paper presents a dynamic (or multi-period) hub location problem. It proposes a branch-and-bound algorithm that uses a Lagrangean relaxation to obtain lower and upper bounds a...
Ivan Contreras, Jean-François Cordeau, Gilb...
ICASSP
2011
IEEE
14 years 10 months ago
Explicit recursivity into reproducing kernel Hilbert spaces
This paper presents a methodology to develop recursive filters in reproducing kernel Hilbert spaces (RKHS). Unlike previous approaches that exploit the kernel trick on filtered ...
Devis Tuia, Gustavo Camps-Valls, Manel Martí...