12194 search results - page 101 / 2439 » cans 2010 |
TMI
2010
13 years 4 months ago
2010
Abstract--There is an ongoing debate on how to model diffusivity in fiber crossings. We propose an optimization framework for the selection of a dual tensor model and the set of di...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We propose a general and efficient algorithm for learning low-rank matrices. The proposed algorithm converges super-linearly and can keep the matrix to be learned in a compact fac...
APWEB
2010
Springer
14 years 2 months ago
2010
Springer
— A set of lifelogs is a dataset that describes a person’s life. A high quality and large set of lifelogs is expected to be useful for many applications. Only by integrating th...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...