5188 search results - page 932 / 1038 » Information Flow in Interactive Systems |
185
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...
204
Voted
JMLR
2011
14 years 11 months ago
2011
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...
173
Voted
CORR
2012
Springer
14 years 7 days 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 ...
123
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Traditionally, mobile media sharing and messaging has been studied from the perspective of an individual author making media available to other users. With the aim of supporting s...
107
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Experiments were conducted to investigate the interdependency of frame rates (30, 15, 10 fps) and audiovisual skew (from +163 to -233 ms1 ). Noised nonsense words like 'abaga...