5302 search results - page 35 / 1061 » Learning How to Separate |
LMCS
2006
14 years 11 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
IVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
112
click to vote
ML
2002
ACM
14 years 11 months ago
2002
ACM
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
ICML
2006
IEEE
16 years 19 days ago
2006
IEEE
We state and analyze the first active learning algorithm which works in the presence of arbitrary forms of noise. The algorithm, A2 (for Agnostic Active), relies only upon the ass...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper addresses source separation from a linear mixture under two assumptions: source sparsity and orthogonality of the mixing matrix. We propose efficient sparse separation...