Sciweavers

2829 search results - page 363 / 566
» Regularization Methods for Additive Models
Sort
View
JCS
2010
121views more  JCS 2010»
15 years 5 months ago
Computational soundness of symbolic zero-knowledge proofs
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
Michael Backes, Dominique Unruh
PKDD
2010
Springer
184views Data Mining» more  PKDD 2010»
15 years 5 months ago
Shift-Invariant Grouped Multi-task Learning for Gaussian Processes
Multi-task learning leverages shared information among data sets to improve the learning performance of individual tasks. The paper applies this framework for data where each task ...
Yuyang Wang, Roni Khardon, Pavlos Protopapas
SUTC
2010
IEEE
15 years 4 months ago
Battery Level Estimation of Mobile Agents under Communication Constraints
We consider a team of mobile agents where a leader has to monitor battery levels of all other agents. Only the leader is capable to transmit information to other agents. Every now...
Jonghoek Kim, Fumin Zhang, Magnus Egerstedt
CONSTRAINTS
2011
15 years 1 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
JDCTA
2010
111views more  JDCTA 2010»
15 years 1 months ago
Experimental Study on Connectivity for Wireless Sensor Networks
Many works have been devoted to connectivity of wireless sensor networks. This is an important feature for wireless sensor networks (WSNs) to provide the nodes with the capability...
Xiao-gang Qi, Li-fang Liu, San-yang Liu