3994 search results - page 560 / 799 » A Linear Logical Framework |
163
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
191
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a method to rank the highlights of broadcast racquet sports videos. Compared with previous work, we integrate relevance feedback into highlight ranking f...
164
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
We consider Independent Component Analysis (ICA) for the case of binary sources, where addition has the meaning of the boolean “Exclusive Or” (XOR) operation. Thus, each mixtur...
175
click to vote
UC
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
145
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— We analyze the generalization performance of a student in a model composed of linear perceptrons: a true teacher, ensemble teachers, and the student. Calculating the generaliza...