397 search results - page 41 / 80 » Causal Reasoning with Contexts Using Dependent Types |
ILP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
KES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Determining physical location of indoor objects is one of the key issues in ubiquitous computing. Although there are many proposals to provide physical location tracking,...
IJCSA
2006
13 years 7 months ago
2006
The philosophy literature has been struggling with the problem of defining causality. There has been extensive discussion about it. Hume taught that talk of causation was metaphys...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...