12194 search results - page 101 / 2439 » cans 2010 |
137
click to vote
TMI
2010
14 years 10 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...
116
click to vote
TACAS
2010
Springer
15 years 10 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...
125
click to vote
ICML
2010
IEEE
15 years 4 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...
153
click to vote
APWEB
2010
Springer
15 years 8 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...
119
click to vote
CORR
2010
Springer
15 years 3 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...