Sciweavers

3317 search results - page 155 / 664
» Strategies in Rigid-Variable Methods
Sort
View
JMLR
2012
13 years 9 months ago
NIMFA: A Python Library for Nonnegative Matrix Factorization
NIMFA is an open-source Python library that provides a unified interface to nonnegative matrix factorization algorithms. It includes implementations of state-of-the-art factoriza...
Marinka Zitnik, Blaz Zupan
199
Voted
TLDI
2009
ACM
108views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Secure compilation of a multi-tier web language
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
Ioannis G. Baltopoulos, Andrew D. Gordon
158
Voted
ACSAC
2007
IEEE
16 years 1 months ago
Toward Realistic and Artifact-Free Insider-Threat Data
Progress in insider-threat detection is currently limited by a lack of realistic, publicly available, real-world data. For reasons of privacy and confidentiality, no one wants to...
Kevin S. Killourhy, Roy A. Maxion
162
Voted
WSC
1997
15 years 8 months ago
Design of Experiments for Fitting Subsystem Metamodels
For complex systems, traditional methods of experiencebased design are ineffective: the design task must be supported by simulations. Conceptual design and system-level detailed d...
Russell R. Barton
ICML
2010
IEEE
15 years 8 months ago
On learning with kernels for unordered pairs
We propose and analyze two strategies to learn over unordered pairs with kernels, and provide a common theoretical framework to compare them. The strategies are related to methods...
Martial Hue, Jean-Philippe Vert