4686 search results - page 3 / 938 » Time-lagged Directed Information |
106
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
ISVC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we propose a method for directly rendering point sets which only have positional information by using recent graphics processors (GPUs). Almost all the algorithms in...
CSCW
2012
ACM
13 years 5 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...
111
click to vote
SIGIR
2012
ACM
13 years 1 days ago
2012
ACM
During a three-day workshop in February 2012, 45 Information Retrieval researchers met to discuss long-range challenges and opportunities within the field. The result of the works...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We study the problem of gambling in horse races with causal side information and show that Massey's directed information characterizes the increment in the maximum achievable ...